Home Online Resources

Cover

Journal of Logic and Computation

Table of Contents

Volume 7, Issue 6: December 1997.


Labelled propositional modal logics: theory and practice
D Basin, S Matthews and L Viganò
pp. 685-717
Abstract

Modal tableaux based on residuation
H Wansing
pp. 719-731
Abstract

Unification through projectivity
S Ghilardi
pp. 733-752
Abstract

Finite failure is and-compositional
R Gori and G Levi
pp. 753-776
Abstract

A first-order conditional logic with qualitative statistical semantics
RI Brafman
pp. 777-803
Abstract

On the indiscernibility of individuals in logic programming
T Eiter, G Gottlob and N Leone
pp. 805-824
Abstract

Book review. Locally presentable and accessible categories. Jiri Adamek, Jiri Rosicky
RL Crole
pp. 825-827
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_07/Issue_06/
Last modification: 16 April 1998.
Copyright© Oxford University Press, 1998.