Journal: Journal of Logic and Computation

Volume 4, Issue 6

859 -- 876Christophe Fouqueré, Jacqueline Vauzeilles. Linear Logic and Exceptions
877 -- 903Mehmet A. Orgun, William W. Wadge. Extending Temporal Logic Programming with Choice Predicates Non-Determinism
905 -- 927Reiner Hähnle. Short Conjunctive Normal Forms in Finitely Valued Logics
929 -- 938Arnon Avron. Some Properties of Linear Logic Proved by Semantic Methods
939 -- 973Mads Dam. Process-Algebraic Interpretations of Positive Linear and Relevant Logics

Volume 4, Issue 5

463 -- 465Michael P. Georgeff. Editorial
467 -- 512Edwin P. D. Pednault. ADL and the State-Transition Model of Action
513 -- 530Rob Miller 0002, Murray Shanahan. Narratives in the Situation Calculus
531 -- 579James F. Allen, George Ferguson. Actions and Events in Interval Temporal Logic
581 -- 615Erik Sandewall. The Range of Applicability of Some Non-monotonic Logics for Strict Inertia
617 -- 654Joachim Hertzberg, Sylvie Thiébaux. Turning an Action Formalism into a Planner - A Case Study
655 -- 678Fangzhen Lin, Raymond Reiter. State Constraints Revisited
679 -- 700Lenhart K. Schubert. Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change
701 -- 720David N. Morley, Michael P. Georgeff, Anand S. Rao. A Monotonic Formalism for Events and Systems of Events
721 -- 766Ernest Davis. Knowledge Preconditions for Plans
767 -- 795Sam Steel. Action Under Uncertainty
797 -- 810Alvaro del Val, Yoav Shoham. A Unified View of Belief Revision and Update
811 -- 855Johan van Benthem, Jan van Eijck, Vera Stebletsova. Modal Logic, Transition Systems and Processes

Volume 4, Issue 4

333 -- 335Thomas Forster. Letter: Why Set Theory Without Foundation?
337 -- 357Iain A. Stewart. Logical Description of Monotone NP Problems
359 -- 373Stefano Baratella. A Modal Approach to Negation as Failure Rule
375 -- 403Irène Guessarian, Marcos Veloso Peixoto. About Boundedness for Some Datalog and Datalog:::neg::: Programs
405 -- 421Eric Monteiro. Linear Logic as CSP
423 -- 452Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf. Deduction in Concept Languages: From Subsumption to Instance Checking

Volume 4, Issue 3

215 -- 216C. A. R. Hoare. Editorial
217 -- 247Leo Bachmair, Harald Ganzinger. Rewrite-Based Equational Theorem Proving with Selection and Simplification
249 -- 262Robert F. Stärk. Input/Output Dependencies of Normal Logic Programs
263 -- 272William P. R. Mitchell. Expressiveness for Highly Nested Expressions in Linear Temporal Logic
273 -- 283R. Suzanne Zeitman. Unforgettable Forgetful Determinacy
285 -- 319Marcello D Agostino, Marco Mondadori. The Taming of the Cut. Classical Refutations with Analytic Cut

Volume 4, Issue 2

109 -- 124Betti Venneri. Intersection Types as Logical Formulae
125 -- 142Heinrich Wansing. Sequent Calculi for Normal Modal Proposisional Logics
143 -- 156Jürgen Dix, Martin Kummer. Herbrand s Theorem for Nonstandard Inference Operations
157 -- 174Andreas Polyméris. Conjunctive Normal Forms in Three-Valued Propositional Logics
175 -- 207David J. Pym, James Harland. A Uniform Proof-Theoretic Investigation of Linear Logic Programming

Volume 4, Issue 1

1 -- 19Esther König. A Hypothetical Reasoning Algorithm for Linguistic Analysis
21 -- 22Frank Wolter. Solution to a Problem of Goranko and Passy
23 -- 68Harold Simmons. The Monotonous Elimination of Predicate Variables
69 -- 88James Harland. A Proof-Theoretic Analysis of Goal-Directed Provability
89 -- 96Leopoldo E. Bertossi. Circumscription in Data Logic for Data Type Specification