default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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, Xinxin Liu:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
