DE eng

Search in the Catalogues and Directories

Hits 1 – 8 of 8

1
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
2
Dynamic update with probabilities
In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 1, 67-96
BLLDB
Show details
3
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
4
Logic, language and computation ; 3
Lambalgen, Michiel van (Mitarb.); Gibbon, Greg (Mitarb.); Mulhauser, Gregory R. (Mitarb.). - Stanford, Calif. : Stanford Univ., Center for the Study of Language and Information, 2000
BLLDB
UB Frankfurt Linguistik
Show details
5
Logic, language and computation
Moss, Lawrence Stuart (Hrsg.); Ginzburg, Jonathan (Hrsg.); Rijke, Maarten de (Hrsg.). - Stanford, Calif. : Center for the Study of Language and Information, 1999
BLLDB
Show details
6
Dynamic epistemic logic
In: Logic, language and computation (Stanford, 1999), p. 67-84
MPI für Psycholinguistik
Show details
7
Logic, language and reasoning : essays in honour of Dov Gabbay
Szałas, Andrzej (Mitarb.); Segerberg, Krister (Mitarb.); Gerbrandy, Jelle (Mitarb.); Jones, Andrew J. I. (Mitarb.); Broda, Krysia (Mitarb.); Ohlbach, Hans Jürgen (Hrsg.); Russo, Alessandra (Mitarb.); Benthem, Johan van (Mitarb.); Demolombe, Robert (Mitarb.); Moortgat, Michael (Mitarb.); König, Esther (Mitarb.); Reyle, Uwe (Hrsg.); Mineur, Anne-Marie (Mitarb.); Kamp, Hans (Mitarb.); Reynolds, Mark (Mitarb.); Balbiani, Philippe (Mitarb.); D'Agostino, Marcello (Mitarb.); Kempson, Ruth M. (Mitarb.); Finger, Marcelo (Mitarb.); Moravcsik, Julius M. E. (Mitarb.); Fariñas del Cerro, Luis (Mitarb.); Nonnengart, Andreas (Mitarb.); Lambek, Joachim (Mitarb.); Queiroz, Ruy J.G.B. de (Mitarb.). - Dordrecht [u.a.] : Kluwer, 1999. - IX, 429 S. : Ill.
(Trends in logic ; 6)
ISBN: 0-7923-5687-X
Keyword: Common sense reasoning; Computerlinguistik; Deduktion; Festschriften; Formale Semantik; Prädikation; Quantor; Reasoning; Sprachlogik; Theorem proving; Zeitlogik
BLLDB
UB Frankfurt Linguistik
Hide details
8
Reasoning about Information Change
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 6 (1997) 2, 147-170
OLC Linguistik
Show details

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