Home  Online Resources


Journal of Logic and Computation

Table of Contents

Volume 10, Issue 6: December 2000.

Reflection principles in computational logic
J Barklund, P Dell'Acqua, S Costantini and GA Lanzarone
pp. 743-786
Abstract   Full-Text PDF (449 KB)

A dynamic logic for acting, sensing, and planning
L Spalazzi and P Traverso
pp. 787-821
Abstract   Full-Text PDF (348 KB)

Similarity relations in concept lattices
R Belohlavek
pp. 823-845
Abstract   Full-Text PDF (241 KB)

A logical reconstruction of temporal databases
M Finger
pp. 847-876
Abstract   Full-Text PDF (310 KB)

A mixed decision method for duration calculus
N Chetcuti-Serandio and L Farinas del Cerro
pp. 877-895
Abstract   Full-Text PDF (216 KB)

Forthcoming papers
pp. 897-898
Full-Text PDF (29 KB)

Books received
pp. 899-900
Full-Text PDF (14 KB)

Top of the Page

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