Journal of Logic and Computation, Volume 1

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 update Tue Feb 14 04:21:13 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page