Journal of Logic, Language and Information, Volume 3

Volume 3, Number 4, 1994

• Johan van Benthem, Jan A. Bergstra: Logic of Transition Systems. 247-283 BibTeX
• Luc Lismont: Common Knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics. 285-302 BibTeX
• Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri: Defaults as restrictions on classical Hilbert-style proofs. 303-326 BibTeX