External Links

    Journal: Journal of Logic and Computation

    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
    runs on