Home  Online Resources

Cover

Journal of Logic and Computation

Table of Contents

Volume 11, Issue 6: December 2001.


Editorial.
Corner on directions in nonclassical logic

Heinrich Wansing.
pp. 759-760.
Details   Full-Text PDF (25 KB)

Original Article.
The Trilattice of Constructive Truth Values

Yaroslav Shramko, J. Michael Dunn, and Tatsutoshi Takenaka.
pp. 761-788.
Abstract   Full-Text PDF (344 KB)

Original Article.
Comparing some Intuitions of `Process Calculus' and `Program Logic'

Sam Steel.
pp. 789-827.
Abstract   Full-Text PDF (283 KB)

Original Article.
Compositional Verification of Quantitative Properties of Statecharts

Francesca Levi.
pp. 829-878.
Abstract   Full-Text PDF (579 KB)

Original Article.
Reducing Modal Consequence Relations

Marcus Kracht.
pp. 879-907.
Abstract   Full-Text PDF (412 KB)

Original Article.
On the Products of Linear Modal Logics

Mark Reynolds, and Michael Zakharyaschev.
pp. 909-931.
Abstract   Full-Text PDF (285 KB)

Original Article.
The Complexity of Regularity in Grammar Logics and Related Modal Logics

Stéphane Demri.
pp. 933-960.
Abstract   Full-Text PDF (343 KB)

Book Review.
Cryptography and Computational Number Theory K.-Y. Lam, I. Shparlinski, H. Wang and C. Xing

Richard E. Overill.
p. 961.
Details   Full-Text PDF (15 KB)

Book Review.
Artificial Immune Systems and their Applications D. Dasgupta

Richard E. Overill.
pp. 961-962.
Details   Full-Text PDF (20 KB)

Book Review.
Model Checking. E. Clarke O. Grumberg D. A. Peled

Vladimir Zakharov.
pp. 962-964.
Details   Full-Text PDF (28 KB)

Books Received.
Books Received

p. 965.
Full-Text PDF (14 KB)

Forthcoming Papers.
Forthcoming Papers

pp. 967-968.
Full-Text PDF (27 KB)

Announcement.
Special Issue on Computational Dialectics

Gerhard Brewka, and Gerard Vreeswijk.
p. 969.
Details   Full-Text PDF (9 KB)


Author Index

p. 973.
Full-Text PDF (8 KB)

Top of the Page


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