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
  

Last update Sat May 26 06:48:47 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page