Journal of Logic and Computation, Volume 1

Volume 1, Number 1, July 1990

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

Volume 1, Number 2, December 1990

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

Volume 1, Number 3, May 1991

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

Volume 1, Number 4, September 1991

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

Volume 1, Number 5, October 1991

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

Volume 1, Number 6, December 1991

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