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)
starts with
containes
exact match
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)
starts with
containes
exact match
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)
starts with
containes
exact match
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)
starts with
containes
exact match
—
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)
starts with
containes
exact match
—
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/168)
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
167
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.
constructive logic
9.
default logic
10.
diagrammatic logic
11.
digital logic
12.
epistemic logic
13.
ethics and logic
14.
formal logic
15.
fuzzy logic
16.
fuzzy logic
17.
fuzzy logic control
18.
fuzzy logic controller
19.
fuzzy logic controller (FLC)
20.
fuzzy logic model
21.
graphical method of logic
22.
history of logic
23.
Hoare logic
24.
Husserl and Pierce on logic of probability
25.
independence-friendly logic
26.
Inductive logic programming
27.
intuitionistic logic
28.
linear logic
29.
logic
30.
logic built-in self-test
31.
logic cell library
32.
logic circuit
33.
logic design
34.
logic diagram
35.
logic diagrams
36.
logic education
37.
logic for pragmatics
38.
logic gates
39.
logic in AI
40.
logic in computer science
41.
logic in society
42.
logic level
43.
logic level and high level BDDs
44.
logic locking
45.
logic machine
46.
logic models
47.
logic models and simulation
48.
logic notation
49.
logic obfuscation
50.
logic of bunched implications
51.
logic of relatives
52.
logic of science
53.
logic of speech acts
54.
logic simulation
55.
logic synthesis
56.
logic teaching
57.
logic-based distributed routing
58.
malicious logic
59.
mathematical logic
60.
modal logic
61.
Natural logic
62.
Peirce's existential graphs and transcendental logic
63.
philosophical logic
64.
philosophy of logic
65.
pragmatic logic
66.
probabilistic relational program logic
67.
programmable logic
68.
programmable logic controller (PLC)
69.
quantitative logic
70.
quantum logic
71.
race logic
72.
reconfigurable logic
73.
routing logic
74.
S4 modal logic
75.
S-D logic
76.
Semi-substructural logic
77.
Service-Dominant logic
78.
stateful logic computation
79.
substructural logic
80.
symbolic knowledge in Husserlian pure logic
81.
symbolic logic
82.
temporal logic
83.
absolute dynamic topography
84.
capital structure dynamic adjustment
85.
computational fluid dynamic
86.
dynamic
87.
dynamic adaptability
88.
dynamic analysis
89.
dynamic behavior
90.
Dynamic blocking
91.
dynamic building envelope
92.
dynamic calculation
93.
dynamic capabilities
94.
dynamic capabilities development
95.
dynamic capability
96.
dynamic charging
97.
dynamic consent
98.
dynamic control
99.
dynamic covalent chemistry
100.
dynamic crack
101.
dynamic devic
102.
dynamic factor model
103.
dynamic failure
104.
dynamic grounding simulations
105.
dynamic handwriting analysis
106.
dynamic heating curve
107.
dynamic hedge
108.
dynamic hybrid switched systems
109.
dynamic impact
110.
dynamic impedance
111.
dynamic in waves
112.
dynamic interactions
113.
dynamic light scattering
114.
dynamic lighting
115.
dynamic load model
116.
Dynamic loading
117.
dynamic measurement feedback
118.
dynamic model
119.
dynamic modeling
120.
dynamic modelling
121.
dynamic modelling of used vehicles
122.
dynamic models
123.
Dynamic networks
124.
dynamic object
125.
dynamic operation of heating systems
126.
dynamic output feedback
127.
dynamic overset grid
128.
Dynamic Penn efect
129.
dynamic performance compliance
130.
dynamic phase allocation (DPA)
131.
dynamic phasors
132.
dynamic positioning
133.
dynamic probing super heavy (DPSH-A)
134.
dynamic programing
135.
dynamic programming
136.
dynamic QR-code
137.
dynamic quality
138.
dynamic radio frame
139.
dynamic range
140.
dynamic resource management
141.
dynamic response
142.
dynamic shear rheometer
143.
dynamic simulation
144.
dynamic slot allocation (DSA)
145.
dynamic spectrum allocation
146.
dynamic spillovers
147.
dynamic support conditions
148.
dynamic system
149.
dynamic systems
150.
dynamic time warping
151.
dynamic topography
152.
dynamic unbalanced process
153.
dynamic walking
154.
dynamic vibration absorption
155.
dynamic wireless environment
156.
dynamic-link library (DLL)
157.
essential dynamic boundary conditions at joints
158.
large-scale dynamic experiments
159.
linear dynamic equation
160.
mean dynamic topography
161.
nonlinear dynamic system
162.
nonlinear dynamic systems
163.
open-economy dynamic general equilibrium model
164.
quasi-static and dynamic collision simulations
165.
static-dynamic probing test (SDT)
166.
stochastic dynamic programming
167.
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