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
Volume 67, Number 2, March-April 2001
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 Andreas 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
Volume 67, Number 3, April 2001
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
Copyright ©
Sun May 17 00:22:06 2009 by
Michael Ley
(
ley@uni-trier.de
)