Volume 4, Number 1, February 1994
: A Hypothetical Reasoning Algorithm for Linguistic Analysis.
: Solution to a Problem of Goranko and Passy.
: The Monotonous Elimination of Predicate Variables.
: A Proof-Theoretic Analysis of Goal-Directed Provability.
Volume 4, Number 2, April 1994
: Sequent Calculi for Normal Modal Proposisional Logics.
: Conjunctive Normal Forms in Three-Valued Propositional Logics.
Volume 4, Number 3, June 1994
Robert F. Stärk
: Input/Output Dependencies of Normal Logic Programs.
Volume 4, Number 4, August 1994
Volume 4, Number 5, October 1994
: The Range of Applicability of Some Non-monotonic Logics for Strict Inertia.
Lenhart K. Schubert
: Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change.
Volume 4, Number 6, December 1994
: Short Conjunctive Normal Forms in Finitely Valued Logics.
: Some Properties of Linear Logic Proved by Semantic Methods.
: Process-Algebraic Interpretations of Positive Linear and Relevant Logics.