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 BibTeX
• Bernhard Beckert: Semantic Tableaux with Equality. 39-58 BibTeX
• Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov: Modal Logics for Incidence Geometries. 59-78 BibTeX
• Joseph Y. Halpern: A Theory of Knowledge and Ignorance for Many Agents. 79-108 BibTeX
• Madhura Nirkhe, Sarit Kraus, Michael J. Miller, Donald Perlis: How to (Plan to) Meet a Deadline between Now and Then. 109-156 BibTeX

Volume 7, Number 2, April 1997

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

Volume 7, Number 3, June 1997

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

Volume 7, Number 4, August 1997

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

Volume 7, Number 5, October 1997

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

Volume 7, Number 6, December 1997

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