External Links

    Journal: Journal of Logic and Computation

    Volume 11, Issue 6

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

    Volume 11, Issue 5

    657 -- 669Carlos Areces, Patrick Blackburn. Bringing them all Together
    671 -- 689Jerry Seligman. Internalization: The Case of Hybrid Logics
    691 -- 700Maarten Marx. Relation Algebra with Binders
    701 -- 715Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. Modal Logic with Bounded Quantification over Worlds
    717 -- 736Carlos Areces, Maarten de Rijke, Hans de Nivelle. Resolution in Modal, Description and Hybrid Logic
    737 -- 754Valentin Goranko, Dimiter Vakarelov. Sahlqvist Formulas in Hybrid Polyadic Modal Logics

    Volume 11, Issue 4

    499 -- 525Wolfgang May, Paul-Thomas Kandzia. Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages
    527 -- 544Thomas Studer. A Semantics for [lambda]: a Calculus with Overloading and Late-binding
    545 -- 557Twan Laan, Michael Franssen. Embedding First-order Logic in a Pure Type System with Parameters
    559 -- 578Sofia Guerra. Composition of Default Specifications
    579 -- 607Sylvie Coste-Marquis, Pierre Marquis. Knowledge Compilation for Closed World Reasoning and Circumscription
    623 -- 653George Tourlakis. On the Soundness and Completeness of Equational Predicate Logics

    Volume 11, Issue 3

    359 -- 361Fairouz Kamareddine. Editorial
    363 -- 394Fairouz Kamareddine. Reviewing the Classical and the de Bruijn Notation for [lambda]-calculus and Pure Type Systems
    395 -- 417Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama. Approximation Theorems for Intersection Type Systems
    419 -- 429Gilles Dowek. About Folding-Unfolding Cuts and Cuts Modulo
    431 -- 451Hugo Herbelin. Explicit Substitutions and Reducibility
    453 -- 481Hélène Kirchner, Peter D. Mosses. Algebraic Specifications, Higher-order Types and Set-theoretic Models
    483 -- 493Jonathan P. Seldin. Extensional Set Equality in the Calculus of Constructions

    Volume 11, Issue 2

    201 -- 228Orna Grumberg, Robert P. Kurshan. Which Branching-Time Properties are Effectively Linear?
    229 -- 256Daniel J. Lehmann. Nonmonotonic Logics and Semantics
    257 -- 282Gerhard Brewka. Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus
    283 -- 294Agata Ciabattoni. Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
    295 -- 336Michiel van Lambalgen. Conditional Quantification, or Poor Man s Probability
    337 -- 354Gilbert Ndjatou. Minimizing Agent Specifications using a Logic of Knowledge and Actions
    355 -- 356Richard E. Overill. Book Review: Parallel Processing and Parallel Algorithms: Theory and Computation by Seyed H. Roosta
    355 -- 0Richard E. Overill. Book Review: Selected Papers on Analysis of Algorithms by Donald E. Knuth
    356 -- 0Richard E. Overill. Book Review: Time Warps, String Edits, and Macromolecules: the Theory and Practice of Sequence Comparison by David Sankoff and Joseph Kruskal

    Volume 11, Issue 1

    1 -- 0Dov M. Gabbay. Editorial
    3 -- 4Heinrich Wansing. Editorial and Call for Papers
    5 -- 23Klaus Robering. Ackermann s Implication for Typefree Logic
    25 -- 40Benedikt Löwe. Revision Sequences and Computers with an Infinite Amount of Time
    41 -- 70Joseph Y. Halpern, Gerhard Lakemeyer. Multi-agent Only Knowing
    71 -- 83Lionel Forget, Vincent Risch, Pierre Siegel. Preferential Logics are X-logics
    107 -- 155Thomas M. Rudlof. SHR Tableaux - A Framework for Automated Model Generation
    157 -- 192Enrico Giunchiglia, Fausto Giunchiglia. Ideal and Real Belief about Belief
    193 -- 194Luís C. Lamb. Book Review: Elementary Logics: a Procedural Perspective by Dov M. Gabbay
    runs on