DE eng

Search in the Catalogues and Directories

Hits 1 – 10 of 10

1
Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 23 (2014) 4, 415-439
OLC Linguistik
Show details
2
Preface
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 18 (2009) 4, 435-436
OLC Linguistik
Show details
3
Axioms for classical, intuitionistic, and paraconsistent hybrid logic
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 15 (2006) 3, 179-194
BLLDB
OLC Linguistik
Show details
4
The logic of time and modality
Fine, Kit; Copeland, Brian Jack; Zanardo, Alberto. - Dordrecht [u.a.] : Kluwer, 2006
BLLDB
UB Frankfurt Linguistik
Show details
5
Natural Deduction for First-Order Hybrid Logic
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 14 (2005) 2, 173-198
OLC Linguistik
Show details
6
Natural deduction for first-order hybrid logic
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 14 (2005) 2, 173-198
BLLDB
Show details
7
Two Natural Deduction Systems for Hybrid Logic: A Comparison
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 13 (2004) 1, 1-24
OLC Linguistik
Show details
8
Two natural deduction systems for hybrid logic : a comparison
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 13 (2004) 1, 1-23
BLLDB
Show details
9
Papers on time and tense
Copeland, Brian Jack (Hrsg.); Hasle, Per (Hrsg.); Øhrstrøm, Peter (Hrsg.). - Oxford [u.a.] : Oxford Univ. Press, 2003
BLLDB
UB Frankfurt Linguistik
Show details
10
Modal logic, truth, and the master modality
In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 31 (2002) 4, 359-386
BLLDB
Show details

Catalogues
2
0
5
0
0
0
0
Bibliographies
6
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