Journal of Logic and Computation, Volume 6

Volume 6, Number 1, February 1996

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

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

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

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

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

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