Journal of Logic and Computation, Volume 7

Volume 7, Number 1, February 1997

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

Volume 7, Number 2, April 1997

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

Volume 7, Number 3, June 1997

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

Volume 7, Number 4, August 1997

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

Volume 7, Number 5, October 1997

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

Volume 7, Number 6, December 1997

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