|
35
|
Frames and Labels: A Modal Analysis of Categorial Inference
– N Kurtonina
- 1995
|
|
36
|
Completeness results for Lambek syntactic calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik
– W Buszkowski
|
|
6
|
Lambek Calculus and its Relational Semantics
– H Andreka, S Mikulas
- 1994
|
|
406
|
The mathematics of sentence structure
– J Lambek
- 1958
|
|
203
|
Categorial Type Logics
– Michael Moortgat
- 1997
|
|
5
|
Relevant Logic and the Theory of
– E Mares
- 1996
|
|
5
|
Models for the Lambek calculus
– Mati Pentus
- 1995
|
|
6
|
A Completeness Theorem for the Lambek Calculus of Syntactic Categories’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 31
– K Dosen
- 1985
|
|
2
|
Decidable Versions of First-Order Logic and CylindricRelativized Set Algebras
– I Németi
- 1995
|
|
1
|
Benthem, 2003, ‘Categorial Grammar at a Cross-Roads
– J van
|
|
1
|
Situation Theory II: Constraints and Channels’, to appear
– E Mares, J Seligman, G Restall
- 2009
|
|
2
|
The information in intuitionistic logic. Synthese, 167(2):251–270, 2009. 110 Johan van Benthem. Modal Logic for Open Minds. Center for the Study of Language and Information
– Johan van Benthem
- 2010
|
|
5
|
Dynamic epistemic temporal logic
– Bryan Renne, Joshua Sack, Audrey Yap
|
|
27
|
A modal walk through space
– Marco Aiello, Johan van Benthem
- 2002
|
|
139
|
Exploring Logical Dynamics
– J van Benthem
- 1996
|
|
85
|
Coalgebraic Logic
– Lawrence S. Moss
- 1999
|
|
51
|
'One is a Lonely Number': on the logic of communication
– Johan van Benthem
- 2002
|
|
13
|
Generative capacity of nonassociative Lambek calculus
– W Buszkowski
- 1986
|
|
10
|
Some decision problems in the theory of syntactic categories, Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28
– W Buszkowski
- 1982
|
