Journal of Logic and Computation, Volume 4

Volume 4, Number 1, February 1994

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

Volume 4, Number 2, April 1994

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

Volume 4, Number 3, June 1994

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

Volume 4, Number 4, August 1994

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

Volume 4, Number 5, October 1994

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

Volume 4, Number 6, December 1994

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

Last update Tue May 21 19:21:57 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page