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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(2/145)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF 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
144
1.
dynamic logic
2.
logic and philosophy of logic
3.
algebra of logic
4.
binary logic controller
5.
Boolean logic
6.
default logic
7.
diagrammatic logic
8.
digital logic
9.
epistemic logic
10.
formal logic
11.
fuzzy logic
12.
fuzzy logic
13.
fuzzy logic control
14.
fuzzy logic controller
15.
fuzzy logic controller (FLC)
16.
fuzzy logic model
17.
graphical method of logic
18.
history of logic
19.
Hoare logic
20.
Husserl and Pierce on logic of probability
21.
independence-friendly logic
22.
intuitionistic logic
23.
linear logic
24.
logic
25.
logic built-in self-test
26.
logic cell library
27.
logic circuit
28.
logic design
29.
logic diagram
30.
logic diagrams
31.
logic education
32.
logic for pragmatics
33.
logic gates
34.
logic in computer science
35.
logic in society
36.
logic level
37.
logic level and high level BDDs
38.
logic locking
39.
logic models
40.
logic models and simulation
41.
logic notation
42.
logic obfuscation
43.
logic of bunched implications
44.
logic of relatives
45.
logic of speech acts
46.
logic simulation
47.
logic synthesis
48.
logic teaching
49.
logic-based distributed routing
50.
malicious logic
51.
mathematical logic
52.
modal logic
53.
Natural logic
54.
Peirce's existential graphs and transcendental logic
55.
philosophical logic
56.
philosophy of logic
57.
pragmatic logic
58.
programmable logic
59.
quantitative logic
60.
quantum logic
61.
race logic
62.
reconfigurable logic
63.
routing logic
64.
S4 modal logic
65.
S-D logic
66.
Service-Dominant logic
67.
stateful logic computation
68.
symbolic knowledge in Husserlian pure logic
69.
symbolic logic
70.
temporal logic
71.
absolute dynamic topography
72.
capital structure dynamic adjustment
73.
computational fluid dynamic
74.
dynamic
75.
dynamic adaptability
76.
dynamic analysis
77.
dynamic behavior
78.
Dynamic blocking
79.
dynamic calculation
80.
dynamic capabilities
81.
dynamic capabilities development
82.
dynamic capability
83.
dynamic charging
84.
dynamic control
85.
dynamic covalent chemistry
86.
dynamic crack
87.
dynamic factor model
88.
dynamic failure
89.
dynamic grounding simulations
90.
dynamic heating curve
91.
dynamic hedge
92.
dynamic hybrid switched systems
93.
dynamic impact
94.
dynamic impedance
95.
dynamic in waves
96.
dynamic interactions
97.
dynamic light scattering
98.
dynamic lighting
99.
dynamic measurement feedback
100.
dynamic model
101.
dynamic modeling
102.
dynamic modelling of used vehicles
103.
dynamic models
104.
Dynamic networks
105.
dynamic object
106.
dynamic operation of heating systems
107.
dynamic output feedback
108.
dynamic overset grid
109.
Dynamic Penn efect
110.
dynamic performance compliance
111.
dynamic phase allocation (DPA)
112.
dynamic phasors
113.
dynamic probing super heavy (DPSH-A)
114.
dynamic programing
115.
dynamic programming
116.
dynamic quality
117.
dynamic radio frame
118.
dynamic range
119.
dynamic resource management
120.
dynamic response
121.
dynamic shear rheometer
122.
dynamic simulation
123.
dynamic slot allocation (DSA)
124.
dynamic spectrum allocation
125.
dynamic spillovers
126.
dynamic support conditions
127.
dynamic systems
128.
dynamic time warping
129.
dynamic topography
130.
dynamic unbalanced process
131.
dynamic walking
132.
dynamic vibration absorption
133.
dynamic-link library (DLL)
134.
essential dynamic boundary conditions at joints
135.
large-scale dynamic experiments
136.
linear dynamic equation
137.
mean dynamic topography
138.
nonlinear dynamic system
139.
nonlinear dynamic systems
140.
open-economy dynamic general equilibrium model
141.
quasi-static and dynamic collision simulations
142.
static-dynamic probing test (SDT)
143.
stochastic dynamic programming
144.
vehicle dynamic systems
subject term
1
1.
International Association for Management Development in Dynamic Societies
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT