Volume 1, Number 1, July 1990

• 
  Dov M. Gabbay: Editorial. 1-4
• 
  Samson Abramsky: Abstract Interpretation, Logical Relations and Kan Extensions. 5-40
• 
  Matthew L. Ginsberg: Bilattices and Modal Operators. 41-69
• 
  Michael Kaminski, Michael L. Tiomkin: Finite and Circular Path Models for Branching Time Logics. 71-82
• 
  Melvin Fitting: Destructive Modal Resolution. 83-97
• 
  Patricia M. Hill, John W. Lloyd, John C. Shepherdson: Properties of a Pruning Operator. 99-143

Volume 1, Number 2, December 1990

• 
  Donald Nute: Editorial. 155-158
• 
  Els Laenens, Dirk Vermeir: A Fixpoint Semantics for Ordered Logic. 159-185
• 
  José Luiz Fiadeiro, Amílcar Sernadas: Logics of Modal Terms for Systems Specification. 187-227
• 
  Dov M. Gabbay, Ian M. Hodkinson: An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers. 229-259
• 
  Lars Hallnäs, Peter Schroeder-Heister: A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules. 261-283

Volume 1, Number 3, May 1991

• 
  Johan van Benthem: Editorial. 301-304
• 
  Iain A. Stewart: Comparing the Expressibility of Languages Formed using NP-Complete Operators. 305-330
• 
  Philippe Balbiani: Modal Logic and Negation as Failure. 331-356
• 
  José Luiz Fiadeiro, T. S. E. Maibaum: Temporal reasoning over deontic specifications. 357-395
• 
  Steffen Hölldobler: Combining Logic Programming and Equation Solving. 397-415

Volume 1, Number 4, September 1991

• 
  Neil Tennant: Editorial. 427-430
• 
  Martin Davis, Ronald Fechter: A Free Variable Version of the First-Order Predicate Calculus. 431-451
• 
  Yde Venema: A Modal Logic for Chopping Intervals. 453-476
• 
  Marc Bezem: Semantics and Consistency of Rule-Based Expert Systems. 477-495
• 
  Dale Miller: A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. 497-536
• 
  Harold Schellinx: Some Syntactical Observations on Linear Logic. 537-559

Volume 1, Number 5, October 1991

• 
  Howard Barringer: Editorial. 573-574
• 
  Renwei Li, Amílcar Sernadas: Reasoning about Objects Using a Tableau Method. 575-611
• 
  Kosta Dosen: Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus. 613-634
• 
  Lars Hallnäs, Peter Schroeder-Heister: A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions. 635-660
• 
  Luca Console, Daniele Theseider Dupré, Pietro Torasso: On the Relationship between Abduction and Deduction. 661-690
• 
  Hans Jürgen Ohlbach: Semantics-Based Translation Methods for Modal Logics. 691-746

Volume 1, Number 6, December 1991

• 
  Wilfrid Hodges: Editorial. 757-759
• 
  Kim Guldstrand Larsen, Liu Xinxin: Compositionality through an Operational Semantics of Contexts. 761-795
• 
  Melvin Fitting: Kleene's Logic, Generalized. 797-810
• 
  Robert F. Stärk: A Complete Axiomatization of the Three-Valued Completion of Logic Programs. 811-834
• 
  Gerd Wagner: Logic Programming with Strong Negation and Inexact Predicates. 835-859
• 
  Iain A. Stewart: Complete Problems Involving Boolean Labelled Structures and Projection Transactions. 861-882

last updated on Sat May 25 06:29:30 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page