Journal of Logic and Computation
Table of Contents
Volume 8, Issue 5: October 1998.
A modal extension of logic programming: modularity, beliefs and hypothetical reasoning
M Baldoni, L Giordano and A Martelli
New solutions to Novikov's problem for intuitionistic connectives
Saturated formulas in full linear logic
M Castellan and M Piazza
On the decidability of continuous time specification formalisms
Logical specification of reactive and real-time systems
Oxford University Press]
Comments & Feedback]
Oxford University Press, 1998.