External Links

    Journal: Journal of Logic and Computation

    Volume 6, Issue 6

    755 -- 778James J. Lu. Logic Programming with Signs and Annotations
    779 -- 798Juha Nurmonen. On Winning Strategies with Unary Quantifiers
    799 -- 817Pierre-Louis Curien, Thérèse Hardin, Alejandro Ríos. Strong Normalizations of Substitutions
    819 -- 833Reiner Hähnle, Stefan Klingenbeck. A-Ordered Tableaux
    835 -- 849David A. Basin, Seán Matthews. Adding Metatheoretic Facilities to First-Order Theories

    Volume 6, Issue 5

    629 -- 661Ron Sigal. Generic Models of Logic Programs
    663 -- 681Stefano Berardi. Pruning Simply Typed Lambda-Terms
    683 -- 708Éric Grégoire, Pierre Marquis. Novelty in Deductive Databases
    709 -- 724Mario Piazza, Maurizio Castellan. Quantales and Structural Rules
    725 -- 744Marco Hollenberg, Kees Vermeulen. Counting Variables in a Dynamic Setting

    Volume 6, Issue 4

    491 -- 521Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo. Resultants Semantics for Prolog
    523 -- 539Orna Kupferman, Orna Grumberg. Buy One, Get One Free!!!
    541 -- 572Narciso Martí-Oliet, José Meseguer. Inclusions and Subtypes II: Higher-Order Case
    573 -- 598Sakthi Subramanian. An Interactive Solution to the n by n Mutilated Checkerboard Problem
    599 -- 622Karl Schlechta. Some Completeness Results for Stoppered and Ranked Classical Preferential Models

    Volume 6, Issue 3

    315 -- 341Zhenyu Qian. Unification of Higher-Order Patterns in Linear Time and Space
    343 -- 361Limor Fix, Orna Grumberg. Verification of Temporal Properties
    363 -- 407Christopher P. Higgins. On the Declarative and Procedural Semantics of Definite Metalogic Programs
    409 -- 438Narciso Martí-Oliet, José Meseguer. Inclusions and Subtypes I: First-Order Case
    439 -- 463Nicole Bidoit, Serenella Cerrito, Christine Froidevaux. A Linear Logic Approach to Consistency Preserving Updates
    465 -- 479Ron van der Meyden. The Dynamic Logic of Permission

    Volume 6, Issue 2

    173 -- 203Christian G. Fermüller, Alexander Leitsch. Hyperresolution and Automated Model Building
    205 -- 231Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri. A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic
    233 -- 262Gerd Große, Steffen Hölldobler, Josef Schneeberger. Linear Deductive Planning
    263 -- 269Michael Freund, Daniel J. Lehmann. On Negation Rationality
    271 -- 294Antony Galton. An Investigation of Non-Intermingling Principles in Temporal Logic
    295 -- 308Grigori Schwarz, Miroslaw Truszczynski. Nonmonotonic Reasoning is Sometimes Simpler!

    Volume 6, Issue 1

    1 -- 4Antony Galton. Note on a Lemma of Ladkin
    5 -- 31Raymond Turner. Weak Theories of Operations and Types
    33 -- 54Franz Baader. A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages
    55 -- 77Thomas Strahm. Partial Applicative Theories and Explicit Substitutions
    79 -- 120Annalisa Bossi, Nicoletta Cocco, Sandro Etalle. Simultaneous Replacement in Normal Programs
    121 -- 136William P. R. Mitchell. Modal Logic and Equality for Process Algebra
    137 -- 159Saharon Shelah. On the Very Weak 0-1 Law for Random Graphs with Orders
    runs on