Journal of Logic and Computation

759	--	760	Heinrich Wansing. Corner on directions in nonclassical logic
761	--	788	Yaroslav Shramko, J. Michael Dunn, Tatsutoshi Takenaka. The Trilattice of Constructive Truth Values
789	--	827	Sam Steel. Comparing some Intuitions of Process Calculus and Program Logic
829	--	878	Francesca Levi. Compositional Verification of Quantitative Properties of Statecharts
879	--	907	Marcus Kracht. Reducing Modal Consequence Relations
909	--	931	Mark Reynolds, Michael Zakharyaschev. On the Products of Linear Modal Logics
933	--	960	Stéphane Demri. The Complexity of Regularity in Grammar Logics and Related Modal Logics
961	--	962	Richard E. Overill. Book Review: Artificial Immune Systems and their Applications by D. Dasgupta
961	--	0	Richard E. Overill. Book Review: Cryptography and Computational Number Theory by K.-Y. Lam, I. Shparlinski, H. Wang and C. Xing
962	--	964	Vladimir A. Zakharov. Book Review: Model Checking by E. Clarke, O. Grumberg and D. A. Peled

External Links