On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees
The Logic of Causal Explanation An Axiomatization
Quantized Linear Logic, Involutive Quantales and Strong Negation
The Simplest Axiom System for Plane Hyperbolic Geometry
No Matrix Term-Equivalent to Wroński's 3-element Matrix is Finitely Based
A Sequent Formulation of Conditional Logic Based on Belief Change Operations
A Companion to Philosophical Logic
Contents of Volume 77