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

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

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

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

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

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