Volume 53, Number 1, February 1994
: Decidability by Filtrations for graded normal logics (graded modalities V).
: Second order propositional operators over Cantor space.
: Cut-free sequent calculi for some tense logics.
: Axiomatization and completeness of uncountably valued approximation logic.
Volume 53, Number 2, May 1994
Vladimir V. Rybakov
: Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property.
: What is the upper part of the lattice of bimodal logics?
: Decidability of Stit theory with a single agent and Refref Equivalence.
: Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems.
: Non-axiomatizability of Grice's implicature.
Volume 53, Number 3, August 1994
Max A. Freund
: The relative consistency of system RRC* and some of its extensions.
: Proving theorems of the second order Lambek calculus in polynominal time.
: A note an the omega-incompleteness formalization.
: Syntactical investigations into BI logic and BB'I logic.
: Cut-free sequent and tableau systems for propositional Diodorean modal logics.
Volume 53, Number 4, November 1994
: A finite analog to the Löwenheim-Skolem theorem.
Max P. Urchs
: On the logic of event-causation. Jaskowski-style systems causal logic.