Studia Logica, Volume 67

Volume 67, Number 1, February 2001

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

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

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