External Links

    Journal: Journal of Logic and Computation

    Volume 2, Issue 6

    671 -- 673Vladimir Lifschitz. Editorial
    675 -- 686Karl Schlechta. Some Results on Classical Preferential Models
    687 -- 707Fairouz Kamareddine. Set Theory and Nominalization, Part II
    709 -- 718Chris Brink, J. J. C. Vermeulen, J. P. G. Pretorius. Verisimilitude via Vietoris
    719 -- 770Antonis C. Kakas, Robert A. Kowalski, Francesca Toni. Abductive Logic Programming

    Volume 2, Issue 5

    551 -- 555Maarten H. van Emden. Editorial: Rhetoric versus Modernism in Computing
    557 -- 577A. W. Roscoe. An Alternative Order for the Failures Model
    579 -- 604Fairouz Kamareddine. Set Theory and Nominalization, Part I
    605 -- 618Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan. A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems
    619 -- 656Dan Sahlin, Torkel Franzén, Seif Haridi. An Intuitionistic Predicate Logic Theorem Prover

    Volume 2, Issue 4

    437 -- 439Chris Hankin. Editorial
    441 -- 464Hanne Riis Nielson, Flemming Nielson. Bounded Fixed-Point Iteration
    465 -- 482John Hughes, John Launchbury. Relational Reversal of Abstract Interpretation
    483 -- 509Simon Hughes. Compile-Time Garbage Collection for Higher-Order Functional Languages
    511 -- 547Patrick Cousot, Radhia Cousot. Abstract Interpretation Frameworks

    Volume 2, Issue 3

    243 -- 245T. S. E. Maibaum. Editorial
    247 -- 295Yves Auffray, Patrice Enjalbert. Modal Theorem Proving: An Equational Viewpoint
    297 -- 347Jean-Marc Andreoli. Logic Programming with Focusing Proofs in Linear Logic
    349 -- 373Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski. The Pure Logic of Necessitation
    375 -- 395Felipe Cucker. The Arithmetical Hierarchy over the Reals
    397 -- 425Georg Gottlob. Complexity Results for Nonmonotonic Logics

    Volume 2, Issue 2

    107 -- 110Melvin Fitting. Editorial
    111 -- 118Jean-Yves Girard. Logic and Exceptions: A Few Remarks
    119 -- 131Manfred Droste. Finite Axiomatizations for Universal Domains
    133 -- 172Els Laenens, Dirk Vermeir. Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models
    173 -- 210E. Allen Emerson, Tom Sadler, Jai Srinivasan. Efficient Temporal Satisfiability
    211 -- 231Dirk Roorda. Proof Nets for Lambek Calculus

    Volume 2, Issue 1

    1 -- 4Michael Gelfond. Editorial
    5 -- 30Valentin Goranko, Solomon Passy. Using the Universal Modality: Gains and Questions
    31 -- 50Mario R. F. Benevides, T. S. E. Maibaum. A Constructive Presentation for the Modal Connective of Necessity (/Box)
    51 -- 98Arnon Avron. Axiomatic Systems, Deduction and Implication
    runs on