default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
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.
last updated on 2025-03-05 20:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
