Volume 72, Number 1, October 2002
Volume 72, Number 2, November 2002
: Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds.
: A Note on Algebras of Substitutions.
Tarek Sayed Ahmed
: Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic.
Volume 72, Number 3, December 2002
: Old Foundations for the Logic of Agency and Action.
Kevin J. Davey
: Obligation and the Conditional in Stit Theory.
: A Predicate Logical Extension of a Subintuitionistic Propositional Logic.
Marcel van de Vel
: Interpreting First-order Theories into a Logic of Records.