Volume 69, Number 1, October 2001
Linh Anh Nguyen
: Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5.
: A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most.
Volume 69, Number 2, November 2001
: On Different Intuitionistic Calculi and Embeddings from Int to S4.
Raymond D. Gumb
: An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions.
Volume 69, Number 3, December 2001
: Priorean Strict Implication, Q and Related Systems.