Journal of Logic and Computation, Volume 6

Volume 6, Number 1, February 1996

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

Volume 6, Number 2, April 1996

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

Volume 6, Number 3, June 1996

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

Volume 6, Number 4, August 1996

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

Volume 6, Number 5, October 1996

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

Volume 6, Number 6, December 1996

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