- Nicolas Peltier:
A New Method for Automated Finite Model Building Exploiting Failures and Symmetries. J. Log. Comput. 8(4): 511-543 (1998) - Javier Pinto:
Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus. J. Log. Comput. 8(6): 777-808 (1998) - Alexander Moshe Rabinovich:
On the Decidability of Continuous Time Specification Formalisms. J. Log. Comput. 8(5): 669-678 (1998) - Anand S. Rao, Michael P. Georgeff:
Decision Procedures for BDI Logics. J. Log. Comput. 8(3): 293-342 (1998) - A. K. Shiny, Arun K. Pujari:
Computation of Prime Implicants Using Matrix and Paths. J. Log. Comput. 8(2): 135-145 (1998) - Munindar P. Singh:
Applying the Mu-Calculus in Planning and Reasoning about Action. J. Log. Comput. 8(3): 425-445 (1998) - Tanel Tammet, Jan M. Smith:
Optimized Encodings of Fragments of Type Theory in First-Order Logic. J. Log. Comput. 8(6): 713-744 (1998) - A. D. Yashin:
New Solutions to Novikov's Problem for Intuitionistic Connectives. J. Log. Comput. 8(5): 637-664 (1998)