List of contents of
Journal of Logic and Computation
Volume 1 (1990/91)
- j-jlc-1-5
- Samson Abramsky:
Abstract Interpretation, Logical Relations, and Kan Extensions.
Pages 5-40.
- j-jlc-1-41
- Matthew L. Ginsberg:
Bilattices and Modal Operators.
Pages 41-70.
- j-jlc-1-71
- Michael Kaminski and Michael Tiomkin:
Finite and Circular Path Models for Branching Time Logics.
Pages 71-82.
- j-jlc-1-83
- Melvin Fitting:
Destructive Modal Resolution.
Pages 83-98.
- j-jlc-1-99
- P. M. Hill, J. W. Lloyd, and J. C. Shepherdson:
Properties of a Pruning Operator.
Pages 99-144.
- j-jlc-1-159
- E. Laenens and D. Vermeir:
A Fixpoint Semantics for Ordered Logic.
Pages 159-186.
- j-jlc-1-187
- José Fiadeiro and Amílcar Sernadas:
Logics of Modal Terms for Systems Specification.
Pages 187-228.
- j-jlc-1-229
- D. M. Gabbay and I. M. Hodkinson:
An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers.
Pages 229-260.
- j-jlc-1-261
- Lars Hallnäs and Peter Schroeder-Heister:
A Proof-Theoretic Approach to Logic Programming.
Pages 261-283.
- j-jlc-1-305
- Iain A. Stewart:
Comparing the Expressibility of Languages Formed Using NP-Complete Operators.
Pages 305-330.
- j-jlc-1-331
- Philippe Balbiani:
Modal Logic and Negation as Failure.
Pages 331-356.
- j-jlc-1-357
- José Fiadeiro and T. Maibaum:
Temporal Reasoning over Deontic Specifications.
Pages 357-396.
- j-jlc-1-397
- Steffen Hölldobler:
Combining Logic Programming and Equation Solving.
Pages 397-415.
- j-jlc-1-431
- Ernest Davis and Ronald Fechter:
A Free Variable Version of the First-Order Predicate Calculus.
Pages 431-451.
- j-jlc-1-453
- Yde Venema:
A Modal Logic for Chopping Intervals.
Pages 453-476.
- j-jlc-1-477
- Marc Bezem:
Semantics and Consistency of Rule-based Expert Systems.
Pages 477-495.
- j-jlc-1-497
- Rob Miller:
A Logic Programming Language with Lambda-Abstraction, Function, Variables, and Simple Unification.
Pages 497-536.
- j-jlc-1-537
- Harold Schellinx:
Some Syntactical Observations on Linear Logic.
Pages 537-559.
- j-jlc-1-575
- Renwei Li and Amílcar Sernadas:
Reasoning About Objects Using a Tableau Method.
Pages 575-611.
- j-jlc-1-613
- Kosta Dosen:
Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus.
Pages 613-634.
- j-jlc-1-635
- Lars Hallnäs and Peter Schroeder-Heister:
A Proof-Theoretic Approach to Logic Programming.
Pages 635-660.
- j-jlc-1-661
- Luca Console, Daniele Theseider Dupre, and Pietro Torasso:
On the Relationship Between Abduction and Deduction.
Pages 661-690.
- j-jlc-1-691
- H. J. Ohlbach:
Semantics-Based Translation Methods for Modal Logics.
Pages 691-746.
- j-jlc-1-761
- Kim G. Larsen and Liu Xinxin:
Compositionality Through an Operational Semantics of Contexts.
Pages 761-795.
- j-jlc-1-797
- Melvin Fitting:
Kleene's Logic, Generalized.
Pages 797-810.
- j-jlc-1-811
- Robert F. Stärk:
A Complete Axiomatization of the Three-valued Completion of Logic Programs.
Pages 811-834.
- j-jlc-1-835
- Gerd Wagner:
Logic Programming with Strong Negation and Inexact Predicates.
Pages 835-859.
- j-jlc-1-861
- Iain A. Stewart:
Complete Problems Involving Boolean Labelled Structures and Projection Transactions.
Pages 861-882.
29-Jul-97 16:25