External Links

    Journal: Journal of Logic and Computation

    Volume 5, Issue 6

    697 -- 729Joachim Posegga, Peter H. Schmitt. Automated Deduction with Shannon Graphs
    731 -- 761David E. Wilkins, Karen L. Myers. A Common Knowledge Representation for Plan Generation and Reactive Execution
    763 -- 781Richard Goodwin. Formalizing Properties of Agents
    783 -- 800Karl Schlechta. Preferential Choice Representation Theorems for Branching Time Structures

    Volume 5, Issue 5

    579 -- 602Lode Missiaen, Maurice Bruynooghe, Marc Denecker. CHICA, an Abductive Planning System Based on Event Calculus
    603 -- 630Amílcar Sernadas, Cristina Sernadas, José Félix Costa. Object Specification Logic
    631 -- 668Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch. Automated Mathematical Induction
    669 -- 689James T. Sasaki. Efficient Verified Programs in a Typed Theory with Mixed Constructivity

    Volume 5, Issue 4

    397 -- 421Thomas P. Jensen. Conjunctive Type Systems and Abstract Interpretation of Higher-Order Functional Programs
    423 -- 447Martin C. Henson. An intensional semantics for elementary program transformations
    449 -- 471Tanel Tammet. Completeness of Resolution for Definite Answers
    473 -- 494Karl Schlechta. Defaults as Generalized Quantifiers
    495 -- 541David Sands. A Naïve Time Analysis and its Theory of Cost Equivalence

    Volume 5, Issue 3

    265 -- 285Chiaki Sakama, Katsumi Inoue. Paraconsistent Stable Semantics for Extended Disjunctive Programs
    287 -- 302Alexander V. Chagrov, Michael Zakharyaschev. On the Independent Axiomatizability of Modal and Intermediate Logics
    303 -- 324Anastasia Analyti, Sakti Pramanik. Reliable Semantics for Extended Logic Programs with Rule Prioritization
    325 -- 345Wiebe van der Hoek, Maarten de Rijke. Counting Objects
    347 -- 366John Pais. Exterior Topology and Revision Spaces
    367 -- 381Ines Margaria, Maddalena Zacchi. Principal Typing in a forall-and-Discipline

    Volume 5, Issue 2

    133 -- 171Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi. Observable Semantics for Constraint Logic Programs
    173 -- 201Piero A. Bonatti. A Three-Valued Formalization of Provability
    203 -- 212Michael L. Tiomkin, Michael Kaminski. Semantical Analysis of Logic of Actions
    213 -- 226Anuj Dawar. Generalized Quantifiers and Logical Reducibilities
    227 -- 249Dov Dori. Object-Process Analysis: Maintaining the Balance Between System Structure and Behaviour

    Volume 5, Issue 1

    1 -- 25William C. Rounds, Guo-Qiang Zhang. Domain Theory Meets Default Logic
    27 -- 70Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer. Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases
    71 -- 92Johann A. Makowsky, Abraham Sharell. On Average Case Complexity of SAT for Symmetric Distribution
    93 -- 109Marcus Kracht. Highway to the Danger Zone
    111 -- 122Yuri Kaluzhny, Daniel J. Lehmann. Deductive Nonmonotonic Inference Operations: Antitonic Representations
    runs on