![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Logic, Language and Information, Volume 3
Volume 3, Number 1, January 1994
- Hajnal Andréka, Szabolcs Mikulás:
Lambek Calculus and its relational semantics: Completeness and incompleteness. 1-37 - André Fuhrmann, Sven Ove Hansson:
A survey of multiple contractions. 39-75
Volume 3, Number 2, April 1994
- Alvaro del Val, Yoav Shoham:
Deriving properties of belief update from theories of action. 81-119 - Mati Pentus
:
The conjoinability relation in Lambek calculus and linear logic. 121-140 - Gennaro Chierchia:
Intensionality and context change. 141-168
Volume 3, Number 3, July 1994
- Brigitte Penther:
A dynamic logic of action. 169-210 - Anna Bucalo:
Modalities in linear logic weaker than the exponential "of course": Algebraic and relational semantics. 211-232 - Nikolai Pankrat'ev:
On the completeness of the Lambek Calculus with respect to relativized Relational Semantics. 233-246
Volume 3, Number 4, December 1994
- Johan van Benthem, Jan A. Bergstra:
Logic of Transition Systems. 247-283 - Luc Lismont:
Common Knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics. 285-302 - Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri:
Defaults as restrictions on classical Hilbert-style proofs. 303-326
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.