- 1991
- Philippe Balbiani
:
Modal Logic and Negation as Failure. J. Log. Comput. 1(3): 331-356 (1991) - Howard Barringer:
Editorial. J. Log. Comput. 1(5): 573-574 (1991) - Johan van Benthem:
Editorial. J. Log. Comput. 1(3): 301-304 (1991) - Marc Bezem:
Semantics and Consistency of Rule-Based Expert Systems. J. Log. Comput. 1(4): 477-495 (1991) - Luca Console, Daniele Theseider Dupré, Pietro Torasso:
On the Relationship between Abduction and Deduction. J. Log. Comput. 1(5): 661-690 (1991) - Martin Davis, Ronald Fechter:
A Free Variable Version of the First-Order Predicate Calculus. J. Log. Comput. 1(4): 431-451 (1991) - Kosta Dosen:
Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus. J. Log. Comput. 1(5): 613-634 (1991) - José Luiz Fiadeiro, T. S. E. Maibaum:
Temporal reasoning over deontic specifications. J. Log. Comput. 1(3): 357-395 (1991) - Melvin Fitting:
Kleene's Logic, Generalized. J. Log. Comput. 1(6): 797-810 (1991) - Lars Hallnäs, Peter Schroeder-Heister:
A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions. J. Log. Comput. 1(5): 635-660 (1991) - Wilfrid Hodges:
Editorial. J. Log. Comput. 1(6): 757-759 (1991) - Steffen Hölldobler:
Combining Logic Programming and Equation Solving. J. Log. Comput. 1(3): 397-415 (1991) - Kim Guldstrand Larsen, Xinxin Liu:
Compositionality through an Operational Semantics of Contexts. J. Log. Comput. 1(6): 761-795 (1991) - Renwei Li, Amílcar Sernadas:
Reasoning about Objects Using a Tableau Method. J. Log. Comput. 1(5): 575-611 (1991) - Dale Miller:
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. J. Log. Comput. 1(4): 497-536 (1991) - Hans Jürgen Ohlbach:
Semantics-Based Translation Methods for Modal Logics. J. Log. Comput. 1(5): 691-746 (1991) - Harold Schellinx:
Some Syntactical Observations on Linear Logic. J. Log. Comput. 1(4): 537-559 (1991) - Robert F. Stärk:
A Complete Axiomatization of the Three-Valued Completion of Logic Programs. J. Log. Comput. 1(6): 811-834 (1991) - Iain A. Stewart:
Comparing the Expressibility of Languages Formed using NP-Complete Operators. J. Log. Comput. 1(3): 305-330 (1991) - Iain A. Stewart:
Complete Problems Involving Boolean Labelled Structures and Projection Transactions. J. Log. Comput. 1(6): 861-882 (1991) - Neil Tennant:
Editorial. J. Log. Comput. 1(4): 427-430 (1991) - Yde Venema:
A Modal Logic for Chopping Intervals. J. Log. Comput. 1(4): 453-476 (1991) - Gerd Wagner:
Logic Programming with Strong Negation and Inexact Predicates. J. Log. Comput. 1(6): 835-859 (1991) - 1990
- Samson Abramsky:
Abstract Interpretation, Logical Relations and Kan Extensions. J. Log. Comput. 1(1): 5-40 (1990) - José Luiz Fiadeiro, Amílcar Sernadas:
Logics of Modal Terms for Systems Specification. J. Log. Comput. 1(2): 187-227 (1990) - Melvin Fitting:
Destructive Modal Resolution. J. Log. Comput. 1(1): 83-97 (1990) - Dov M. Gabbay:
Editorial. J. Log. Comput. 1(1): 1-4 (1990) - Dov M. Gabbay, Ian M. Hodkinson:
An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers. J. Log. Comput. 1(2): 229-259 (1990) - Matthew L. Ginsberg:
Bilattices and Modal Operators. J. Log. Comput. 1(1): 41-69 (1990) - Lars Hallnäs, Peter Schroeder-Heister:
A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules. J. Log. Comput. 1(2): 261-283 (1990)
