External Links

    Journal: Journal of Logic and Computation

    Volume 1, Issue 6

    757 -- 759Wilfrid Hodges. Editorial
    761 -- 795Kim Guldstrand Larsen, Liu Xinxin. Compositionality through an Operational Semantics of Contexts
    797 -- 810Melvin Fitting. Kleene s Logic, Generalized
    811 -- 834Robert F. Stärk. A Complete Axiomatization of the Three-Valued Completion of Logic Programs
    835 -- 859Gerd Wagner. Logic Programming with Strong Negation and Inexact Predicates
    861 -- 882Iain A. Stewart. Complete Problems Involving Boolean Labelled Structures and Projection Transactions

    Volume 1, Issue 5

    573 -- 574Howard Barringer. Editorial
    575 -- 611Renwei Li, Amílcar Sernadas. Reasoning about Objects Using a Tableau Method
    613 -- 634Kosta Dosen. Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus
    635 -- 660Lars Hallnäs, Peter Schroeder-Heister. A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions
    661 -- 690Luca Console, Daniele Theseider Dupré, Pietro Torasso. On the Relationship between Abduction and Deduction
    691 -- 746Hans Jürgen Ohlbach. Semantics-Based Translation Methods for Modal Logics

    Volume 1, Issue 4

    427 -- 430Neil Tennant. Editorial
    431 -- 451Martin Davis, Ronald Fechter. A Free Variable Version of the First-Order Predicate Calculus
    453 -- 476Yde Venema. A Modal Logic for Chopping Intervals
    477 -- 495Marc Bezem. Semantics and Consistency of Rule-Based Expert Systems
    497 -- 536Dale Miller. A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
    537 -- 559Harold Schellinx. Some Syntactical Observations on Linear Logic

    Volume 1, Issue 3

    301 -- 304Johan van Benthem. Editorial
    305 -- 330Iain A. Stewart. Comparing the Expressibility of Languages Formed using NP-Complete Operators
    331 -- 356Philippe Balbiani. Modal Logic and Negation as Failure
    357 -- 395José Luiz Fiadeiro, T. S. E. Maibaum. Temporal reasoning over deontic specifications
    397 -- 415Steffen Hölldobler. Combining Logic Programming and Equation Solving

    Volume 1, Issue 2

    155 -- 158Donald Nute. Editorial
    159 -- 185Els Laenens, Dirk Vermeir. A Fixpoint Semantics for Ordered Logic
    187 -- 227José Luiz Fiadeiro, Amílcar Sernadas. Logics of Modal Terms for Systems Specification
    229 -- 259Dov M. Gabbay, Ian M. Hodkinson. An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers
    261 -- 283Lars Hallnäs, Peter Schroeder-Heister. A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules

    Volume 1, Issue 1

    1 -- 4Dov M. Gabbay. Editorial
    5 -- 40Samson Abramsky. Abstract Interpretation, Logical Relations and Kan Extensions
    41 -- 69Matthew L. Ginsberg. Bilattices and Modal Operators
    71 -- 82Michael Kaminski, Michael L. Tiomkin. Finite and Circular Path Models for Branching Time Logics
    83 -- 97Melvin Fitting. Destructive Modal Resolution
    99 -- 143Patricia M. Hill, John W. Lloyd, John C. Shepherdson. Properties of a Pruning Operator
    runs on