Volume 9, Number 1, February 1999
Robert F. Stärk
: A Direct Proof of the Completeness of SLDNF-Resolution.
: Applying Labelled Deductive Systems and Multi-Agent Systems to Source-Based Argumentation.
Volume 9, Number 2, April 1999
: Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions.
: Complexity of Products of Modal Logics.
Volume 9, Number 3, June 1999 Description Logics
Volume 9, Number 4, August 1999
: A Topological Construction of a Non-smooth Model of Cumulativity.
Volume 9, Number 5, October 1999
: Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes.
: Frege Structures for Partial Applicative Theories.
Volume 9, Number 6, December 1999
: On the Expressive Power of Three-Valued and Four-Valued Languages.