Studia Logica, Volume 70

Volume 70, Number 1, February 2002

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

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

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