Journal of Logic, Language and Information
, Volume 1
Volume 1, Number 1, 1992
Jan van Eijck
,
Fer-Jan de Vries
: Dynamic Interpretation and Hoare Deduction. 1-44
BibTeX
Hans Rott
: Preferential Belief Change Using Generalized Epistemic Entrenchment. 45-78
BibTeX
Fairouz Kamareddine
: Lambda-Terms, Logic, Determiners and Quantifiers. 79-104
BibTeX
Volume 1, Number 2, 1992
Jürgen Dix
,
David Makinson
: The Relationship between KLM and MAK models for Nonmonotonic Inference Operations. 131-140
BibTeX
Copyright ©
Sun May 17 00:10:34 2009 by
Michael Ley
(
ley@uni-trier.de
)