External Links

    Journal: Journal of Logic and Computation

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