Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
dynamic logic (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(2/187)
Export
export all inquiry results
(1)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
Let us investigate! Dynamic conjecture-making as the formal logic of abduction
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Journal of philosophical logic
2018
/
[33] p. : ill
https://doi.org/10.1007/s10992-017-9454-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
186
1.
dynamic logic
2.
logic and philosophy of logic
3.
algebra of logic
4.
binary logic controller
5.
Boolean logic
6.
Compound logic locking
7.
Compound logic locking (CLL)
8.
constraint logic programming
9.
constraint logic programming (LP) (CLP)
10.
constructive logic
11.
default logic
12.
diagrammatic logic
13.
digital logic
14.
epistemic logic
15.
ethics and logic
16.
formal logic
17.
fuzzy logic
18.
fuzzy logic
19.
fuzzy logic control
20.
fuzzy logic controller
21.
fuzzy logic controller (FLC)
22.
fuzzy logic model
23.
graphical method of logic
24.
history of logic
25.
Hoare logic
26.
Husserl and Pierce on logic of probability
27.
independence-friendly logic
28.
Inductive logic programming
29.
intuitionistic logic
30.
linear logic
31.
linear logic of Petri nets
32.
logic
33.
logic built-in self-test
34.
logic cell library
35.
logic circuit
36.
logic design
37.
logic diagram
38.
logic diagrams
39.
logic education
40.
logic for pragmatics
41.
logic gates
42.
logic in AI
43.
logic in computer science
44.
logic in society
45.
logic level
46.
logic level and high level BDDs
47.
logic locking
48.
logic machine
49.
logic models
50.
logic models and simulation
51.
logic notation
52.
logic obfuscation
53.
logic of bunched implications
54.
logic of relatives
55.
logic of science
56.
logic of speech acts
57.
logic simulation
58.
logic synthesis
59.
logic teaching
60.
logic-based distributed routing
61.
malicious logic
62.
mathematical logic
63.
modal logic
64.
Natural logic
65.
Peirce's existential graphs and transcendental logic
66.
philosophical logic
67.
philosophy of logic
68.
pragmatic logic
69.
probabilistic relational program logic
70.
programmable logic
71.
programmable logic controller (PLC)
72.
quantitative logic
73.
quantum logic
74.
race logic
75.
reconfigurable logic
76.
routing logic
77.
S4 modal logic
78.
S-D logic
79.
Semi-substructural logic
80.
Service-Dominant logic
81.
stateful logic computation
82.
substructural logic
83.
symbolic knowledge in Husserlian pure logic
84.
symbolic logic
85.
temporal logic
86.
absolute dynamic topography
87.
advanced dynamic control
88.
capital structure dynamic adjustment
89.
computational fluid dynamic
90.
dynamic
91.
dynamic adaptability
92.
dynamic analysis
93.
dynamic behavior
94.
dynamic bending
95.
Dynamic blocking
96.
dynamic building envelope
97.
dynamic calculation
98.
dynamic capabilities
99.
dynamic capabilities development
100.
dynamic capability
101.
Dynamic capability theory
102.
dynamic charging
103.
dynamic consent
104.
dynamic control
105.
Dynamic Control Systems
106.
dynamic covalent chemistry
107.
dynamic crack
108.
dynamic deadlock
109.
Dynamic deformation behavior
110.
dynamic devic
111.
dynamic DNNs
112.
dynamic downscaling
113.
dynamic factor model
114.
dynamic failure
115.
dynamic grounding simulations
116.
dynamic handwriting analysis
117.
dynamic heating curve
118.
dynamic hedge
119.
dynamic hybrid switched systems
120.
dynamic impact
121.
dynamic impedance
122.
dynamic in waves
123.
dynamic interactions
124.
dynamic light scattering
125.
dynamic lighting
126.
dynamic load model
127.
Dynamic loading
128.
dynamic loads
129.
dynamic measurement feedback
130.
dynamic model
131.
dynamic modeling
132.
dynamic modelling
133.
dynamic modelling of used vehicles
134.
dynamic models
135.
dynamic network
136.
Dynamic networks
137.
dynamic object
138.
dynamic operation of heating systems
139.
dynamic output feedback
140.
dynamic overset grid
141.
Dynamic Penn efect
142.
dynamic performance
143.
dynamic performance compliance
144.
dynamic phase allocation (DPA)
145.
dynamic phasors
146.
dynamic population presence
147.
dynamic positioning
148.
dynamic probing super heavy (DPSH-A)
149.
dynamic programing
150.
dynamic programming
151.
dynamic QR-code
152.
dynamic quality
153.
dynamic radio frame
154.
dynamic range
155.
dynamic resource management
156.
dynamic response
157.
dynamic shear rheometer
158.
dynamic simulation
159.
dynamic slot allocation (DSA)
160.
dynamic social impact theory (DSIT)
161.
dynamic spectrum allocation
162.
dynamic spillovers
163.
dynamic stability
164.
dynamic stall
165.
dynamic support conditions
166.
dynamic system
167.
dynamic systems
168.
dynamic time warping
169.
dynamic time warping (DTW)
170.
dynamic topography
171.
dynamic unbalanced process
172.
dynamic walking
173.
dynamic vibration absorption
174.
dynamic wireless environment
175.
dynamic-link library (DLL)
176.
essential dynamic boundary conditions at joints
177.
large-scale dynamic experiments
178.
linear dynamic equation
179.
mean dynamic topography
180.
nonlinear dynamic system
181.
nonlinear dynamic systems
182.
open-economy dynamic general equilibrium model
183.
quasi-static and dynamic collision simulations
184.
static-dynamic probing test (SDT)
185.
stochastic dynamic programming
186.
vehicle dynamic systems
subject term
1
1.
International Association for Management Development in Dynamic Societies
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT