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
  

Last update Sat May 18 17:25:57 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page