Volume 8, Number 1, February 1998
Volume 8, Number 2, April 1998
Volume 8, Number 3, June 1998
: Tableau Methods for Formal Verification of Multi-Agent Distributed Systems.
Munindar P. Singh
: Applying the Mu-Calculus in Planning and Reasoning about Action.
Volume 8, Number 4, August 1998
: A New Method for Automated Finite Model Building Exploiting Failures and Symmetries.
: An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs.
: Intuitionistic Propositional Logic with Only Equivalence Has No Interpolation.
Volume 8, Number 5, October 1998
A. D. Yashin
: New Solutions to Novikov's Problem for Intuitionistic Connectives.
: Logical Specification of Reactive and Real-Time Systems.
Volume 8, Number 6, December 1998
: Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus.