Home Online Resources

Cover

Journal of Logic and Computation

Table of Contents

Volume 8, Issue 1: February 1998.


Editorial
DM Gabbay
pp. 3-3
Abstract

A module system for a programming language based on the LF logical framework
R Harper and F Pfenning
pp. 5-31
Abstract

lean TAP revisited
M Fitting
pp. 33-47
Abstract

Constructive Z
S-H Mirian-Hosseinabadi and R Turner
pp. 49-70
Abstract

Enhancing fixed point logic with cardinality quantifiers
L Hella and H Imhof
pp. 71-86
Abstract

Updates and counterfactuals
G Grahne
pp. 87-117
Abstract

Adding the everywhere operator to propositional logic
D Gries and FB Schneider
pp. 119-129
Abstract

Reviews
FSC Da Silva
pp. 131-131
Abstract

Top of the Page


This page is run by Oxford University Press, Great Clarendon Street, Oxford OX2 6DP, UK
as part of the OUP Journals World Wide Web service.
Comments and feedback: www-admin@oup.co.uk
URL: http://www.oup.co.uk/logcom/hdb/Volume_08/Issue_01/
Last modification: 1 June 1998.
Copyright© Oxford University Press, 1998.