Home  Online Resources

Cover

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
pp. 597-635
Abstract

New solutions to Novikov's problem for intuitionistic connectives
AD Yashin
pp. 637-664
Abstract

Saturated formulas in full linear logic
M Castellan and M Piazza
pp. 665-668
Abstract

On the decidability of continuous time specification formalisms
A Rabinovich
pp. 669-678
Abstract

Logical specification of reactive and real-time systems
K Lano
pp. 679-711
Abstract

Top of the Page


[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 1998.