Studia Logica, Volume 70

Volume 70, Number 1, February 2002

• Wiebe van der Hoek, Cees Witteveen: Note by the Guest Editors. 3-4
• Sven Ove Hansson: The Role of Language In Belief Revision. 5-21
• Laura Giordano, Valentina Gliozzi, Nicola Olivetti: Iterated Belief Revision and Conditional Logic. 23-47
• Sven Ove Hansson, Renata Wassermann: Local Change. 49-76
• Salem Benferhat, Laurent Garcia: Handling Locally Stratified Inconsistent Knowledge Bases. 77-104
• Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams: A Practical Approach to Revising Prioritized Knowledge Bases. 105-130
• Nikos Gorogiannis, Mark Ryan: Implementation of Belief Change Operators Using BDDs. 131-156

Volume 70, Number 2, March 2002

• Josep Maria Font, Petr Hájek: On Lukasiewicz's Four-Valued Modal Logic. 157-182
• Sándor Jenei, Franco Montagna: A Proof of Standard Completeness for Esteva and Godo's Logic MTL. 183-192
• Tomasz F. Skura: Refutations, Proofs, and Models in the Modal Logic K4. 193-204
• Ian M. Hodkinson: Loosely Guarded Fragment of First-Order Logic has the Finite Model Property. 205-240
• Ortrun Ibens: Connection Tableau Calculi with Disjunctive Constraints. 241-270
• Zoran Petric: Coherence in Substructural Categories. 271-296
• Rodney G. Downey: Roman Murawski, Recursive Functions and Metamathematics. 297-299
• Greg O'Keefe: Gregory J. Chaitin, The Unknowable, Springer-Verlag, Singapore 1999. 299-302

Volume 70, Number 3, April 2002

• Nino B. Cocchiarella: On the Logic of Classes as Many. 303-338
• Claudia B. Wegener: Free Modal Lattices via Priestley Duality. 339-352
• Katsumi Sasaki: A Cut-Free Sequent System for the Smallest Interpretability Logic. 353-372
• Eva Hoogland, Maarten Marx: Interpolation and Definability in Guarded Fragments. 373-409
• Bob Coecke: Quantum Logic in Intuitionistic Perspective. 411-440
• Judy Pelham: Bernard Linsky, Russell's Metaphysical Logic. 441-444
• James Chase: Vito F. Sinisi, Applied Logic. 444-445