Volume 67, Number 1, February 2001

• 
  Witold A. Pogorzelski, Piotr Wojtylak: Cn-Definitions of Propositional Connectives. 1-26
• 
  Su Gao, Peter Gerdes: Computably Enumerable Equivalence Relations. 27-59
• 
  Yoshihito Tanaka: Model Existence in Non-Compact Modal Logic. 61-73
• 
  Candida Palma, Raquel Santos: Principal Congruences on Semi-De Morgan Algebras. 75-88
• 
  Guram Bezhanishvili: Glivenko Type Theorems for Intuitionistic Modal Logics. 89-109

Volume 67, Number 2, March-April 2001

• 
  Gerhard Brewka: Representing Meta-Knowledge in Poole-Systems. 153-165
• 
  Wlodzimierz Rabinowicz: A Centipede for Intransitive Preferrers. 167-178
• 
  Jérôme Lang, Pierre Marquis: Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions. 179-214
• 
  Thomas Andreas Meyer: Basic Infobase Change. 215-242
• 
  David Billington, Andrew Rock: Propositional Plausible Logic: Introduction and Implementation. 243-269
• 
  Walid S. Saba, Jean-Pierre Corriveau: Plausible Reasoning and the Resolution of Quantifier Scope Ambiguities. 271-289
• 
  Wei Liu, Mary-Anne Williams: A Framework for Multi-Agent Belief Revision. 291-312

Volume 67, Number 3, April 2001

• 
  Michael Thielscher: The Concurrent, Continuous Fluent Calculus. 315-331
• 
  Leora Morgenstern: Mid-Sized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking. 333-384
• 
  Victor Jauregui, Norman Y. Foo, Maurice Pagnucco: A Trajectory Approach to Causality. 385-401
• 
  Pavlos Peppas, Costas D. Koutras, Mary-Anne Williams: Prolegomena to Concise Theories of Action. 403-418
• 
  Norman Y. Foo, Pavlos Peppas: Realization for Causal Nondeterministic Input-Output Systems. 419-437

last updated on Tue May 21 01:32:40 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page