DE eng

Search in the Catalogues and Directories

Page: 1 2
Hits 1 – 20 of 25

1
Medieval "Disputationes de obligationibus" as formal dialogue systems
In: Argumentation. - Heidelberg [u.a.] : Springer Science+Business Media 27 (2013) 2, 143-166
BLLDB
OLC Linguistik
Show details
2
On the Ramsey test without triviality
In: Notre Dame journal of formal logic. - Durham, NC : Duke University Press 51 (2010) 1, 21-54
BLLDB
OLC Linguistik
Show details
3
Merging DEL and ETL
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 19 (2010) 4, 413-430
BLLDB
OLC Linguistik
Show details
4
The situation calculus: a case for modal logic
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 19 (2010) 4, 431-450
BLLDB
OLC Linguistik
Show details
5
Temporal logics of agency
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 19 (2010) 4, 389-393
BLLDB
OLC Linguistik
Show details
6
Modal logic for open minds
Benthem, Johan van. - Stanford, Calif. : CSLI Publ., Centre for the Study of Language and Information, 2010
BLLDB
UB Frankfurt Linguistik
Show details
7
Awareness dynamics
In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 39 (2010) 2, 113-137
BLLDB
Show details
8
Dynamic epistemic logic with branching temporal structures
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 169 (2009) 2, 259-281
BLLDB
OLC Linguistik
Show details
9
Inference and update
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 169 (2009) 2, 283-300
BLLDB
OLC Linguistik
Show details
10
Extending probabilistic dynamic epistemic logic
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 169 (2009) 2, 241-257
BLLDB
OLC Linguistik
Show details
11
Bridging learning theory and dynamic epistemic logic
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 169 (2009) 2, 371-384
BLLDB
OLC Linguistik
Show details
12
The information in intuitionistic logic
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 167 (2009) 2, 251-270
BLLDB
OLC Linguistik
Show details
13
A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 171 (2009) 2, 291-320
BLLDB
OLC Linguistik
Show details
14
Diversity of agents and their interaction
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 18 (2009) 1, 23-53
BLLDB
OLC Linguistik
Show details
15
Merging frameworks for interaction
In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 38 (2009) 5, 491-526
BLLDB
Show details
16
Dynamic update with probabilities
In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 1, 67-96
BLLDB
Show details
17
Editorial : [to papers from a Workshop on Logic, Rationality and Interaction, held between August 5 an 9, 2007 in Beijing]
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 165 (2008) 2, 155-157
BLLDB
OLC Linguistik
Show details
18
Probabilistic dynamic belief revision
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 165 (2008) 2, 179-202
BLLDB
OLC Linguistik
Show details
19
Temporal languages for epistemic programs
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 17 (2008) 2, 183-216
BLLDB
OLC Linguistik
Show details
20
The surprise examination in dynamic epistemic logic
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 155 (2007) 1, 21-33
BLLDB
OLC Linguistik
Show details

Page: 1 2

Catalogues
2
0
17
0
0
0
0
Bibliographies
25
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
0
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern