External Links

    Journal: Journal of Logic and Computation

    Volume 3, Issue 6

    577 -- 578Chris Hankin. Editorial: Logic in Abstract Interpretation
    579 -- 603Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi. Modelling Prolog Control
    605 -- 620Andrzej Szalas. On the Correspondence between Modal and Classical Logic: An Automated Approach
    621 -- 642Nicola Leone, Pasquale Rullo. Ordered Logic Programming with Sets
    643 -- 670Steffen van Bakel. Principal Type Schemes for the Strict Type Assignment System
    671 -- 685Silvia Ghilezan. Inhabitation in Intersection and Union Type Assignment Systems

    Volume 3, Issue 5

    451 -- 453Johan van Benthem. Editorial: The Elusive Locus of Logicality
    455 -- 467Karl Schlechta. Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions
    469 -- 486Kerima Benkerimi, Patricia M. Hill. Supporting Transformations for the Partial Evaluation of Logic Programs
    487 -- 516Kees Doets. Levationis Laus
    517 -- 532Gerhard Brewka, Joachim Hertzberg. How to do Things with Worlds: On Formalizing Actions and Plans
    533 -- 562Andrea Masini. 2-Sequent Calculus: Intuitionism and Natural Deduction

    Volume 3, Issue 4

    341 -- 343Hans Jürgen Ohlbach, Renate A. Schmidt. Editorial: The Possibility of Generating True Conjectures
    345 -- 378Adam J. Grove, Joseph Y. Halpern. Naming and Identity in Epistemic Logics Part I: The Propositional Case
    379 -- 400David Billington. Defeasible Logic is Stable
    401 -- 415Urs-Martin Künzi. Logic Programs for Primitive Recursive Sets
    417 -- 439Antonio Brogi, Evelina Lamma, Paola Mello. Composing Open Logic Programs

    Volume 3, Issue 3

    227 -- 229Robert A. Kowalski. Editorial: An Undergraduate Degree in Practical Reasoning
    231 -- 247Michael Freund. Injective Models and Disjunctive Relations
    249 -- 268Alberto Zanardo, José Carmo. Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
    269 -- 285Sachio Hirokawa. The Relevance Graph of a BCK-Formula
    287 -- 315Gilles Dowek. A Complete Proof Synthesis Method for the Cube of Type Systems
    317 -- 334Gerard Vreeswijk. Defeasible Dialectics: A Controversy-Oriented Approach Towards Defeasible Argumentation

    Volume 3, Issue 2

    113 -- 114Jon Barwise. Editorial
    115 -- 130Michel Cayrol, Olivier Palmade, Thomas Schiex. A Fixed Point Semantics for the ATMS
    131 -- 172A. W. Roscoe. Unbounded Non-Determinism in CSP
    173 -- 195Wiebe van der Hoek. Sytems for Knowledge and Belief
    197 -- 213Kevin J. Compton. A Deductive System for Existential Least Fixpoint Logic

    Volume 3, Issue 1

    1 -- 2Dov M. Gabbay. Editorial
    3 -- 25Ricardo Caferra. A Tableaux Method for Systematic Simultaneous Search for Refutationas and Models Using Equational Problems
    27 -- 45Kevin T. Kelly. Learning Theory and Descriptive Set Theory
    47 -- 61Peter J. Robinson, John Staples. Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
    63 -- 75Jörg Hudelmaier. An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
    77 -- 102Raymond Turner. Lazy Theories of Operations and Types
    runs on