External Links

    Journal: Journal of Logic and Computation

    Volume 7, Issue 6

    685 -- 717David A. Basin, Seán Matthews, Luca Viganò. Labelled Propositional Modal Logics: Theory and Practice
    719 -- 731Heinrich Wansing. Modal Tableaux Based on Residuation
    733 -- 752Silvio Ghilardi. Unification Through Projectivity
    753 -- 776Roberta Gori, Giorgio Levi. Finite Failure is And-Compositional
    777 -- 803Ronen I. Brafman. A First-Order Conditional Logic with Qualitative Statistical Semantics
    805 -- 824Thomas Eiter, Georg Gottlob, Nicola Leone. On the Indiscernibility of Individuals in Logic Programming

    Volume 7, Issue 5

    555 -- 579Domenico Saccà, Carlo Zaniolo. Deterministic and Non-Deterministic Stable Models
    581 -- 603Hans Jürgen Ohlbach, Renate A. Schmidt. Functional Translation and Second-Order Frame Properties of Modal Logics
    605 -- 631Hassan Bezzazi, David Makinson, Ramón Pino Pérez. Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations
    633 -- 648Ho Ngoc Duc. Reasoning About Rational, But Not Logically Omniscient, Agents
    649 -- 658Rajeev Goré, Wolfgang Heinle, Alain Heuerding. Relations Between Propositional Normal Modal Logics: An Overview
    659 -- 681Egon Börger, Peter H. Schmitt. A Description of the Tableau Method Using Abstract State Machines

    Volume 7, Issue 4

    429 -- 456Michael Fisher. A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
    457 -- 471Etienne Grandjean, Hans Kleine Büning. SAT-Problems and Reductions with Respect to the Number of Variables
    473 -- 500Àngel J. Gil, Antoni Torrens, Ventura Verdú. On Gentzen Systems Associated with the Finite Linear MV-Algebras
    501 -- 522Natasha Kurtonina, Maarten de Rijke. Simulating Without Negation
    523 -- 548Francesco M. Donini, Daniele Nardi, Riccardo Rosati. Ground Nonmonotonic Modal Logics

    Volume 7, Issue 3

    309 -- 351Robin Hirsch. Expressive Power and Complexity in Algebraic Logic
    353 -- 366Nadia Creignou, Malika More. Complexity of Satisfiability Problems with Symmetric Polynomial Clauses
    367 -- 403Alberto Momigliano, Mario Ornaghi. Regular Search Spaces and Constructive Negation
    405 -- 425Henrik Imhof. Fixed-Point Logics, Generalized Quantifiers, and Oracles

    Volume 7, Issue 2

    159 -- 174Jianhua Chen. The Generalized Logic of only Knowing (GOL) That Covers the Notion of Epistemic Specifications
    175 -- 204Lawrence C. Paulson. Mechanizing Coinduction and Corecursion in Higher-Order Logic
    205 -- 228Martin Grohe. Existential Least Fixed-Point Logic and its Relatives
    229 -- 250Raymond Turner. Reading Between the Lines in Constructive Type Theory
    251 -- 265Johan van Benthem, Giovanna D Agostino, Angelo Montanari, Alberto Policriti. Modal Deduction in Second-Order Logic and Set Theory - I
    267 -- 303Dino Pedreschi, Salvatore Ruggieri. Verification of Meta-Interpreters

    Volume 7, Issue 1

    1 -- 38Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi. An Algebraic Perspective of Constraint Logic Programming
    39 -- 58Bernhard Beckert. Semantic Tableaux with Equality
    59 -- 78Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov. Modal Logics for Incidence Geometries
    109 -- 156Madhura Nirkhe, Sarit Kraus, Michael J. Miller, Donald Perlis. How to (Plan to) Meet a Deadline between Now and Then
    runs on