Journal of Logic and Computation, Volume 3

Volume 3, Number 1, February 1993

• Dov M. Gabbay: Editorial. 1-2 BibTeX
• Ricardo Caferra: A Tableaux Method for Systematic Simultaneous Search for Refutationas and Models Using Equational Problems. 3-25 BibTeX
• Kevin T. Kelly: Learning Theory and Descriptive Set Theory. 27-45 BibTeX
• Peter J. Robinson, John Staples: Formalizing a Hierarchical Structure of Practical Mathematical Reasoning. 47-61 BibTeX
• Jörg Hudelmaier: An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic. 63-75 BibTeX
• Raymond Turner: Lazy Theories of Operations and Types. 77-102 BibTeX

Volume 3, Number 2, April 1993

• Jon Barwise: Editorial. 113-114 BibTeX
• Michel Cayrol, Olivier Palmade, Thomas Schiex: A Fixed Point Semantics for the ATMS. 115-130 BibTeX
• A. W. Roscoe: Unbounded Non-Determinism in CSP. 131-172 BibTeX
• Wiebe van der Hoek: Sytems for Knowledge and Belief. 173-195 BibTeX
• Kevin J. Compton: A Deductive System for Existential Least Fixpoint Logic. 197-213 BibTeX

Volume 3, Number 3, June 1993

• Robert A. Kowalski: Editorial: An Undergraduate Degree in Practical Reasoning. 227-229 BibTeX
• Michael Freund: Injective Models and Disjunctive Relations. 231-247 BibTeX
• Alberto Zanardo, José Carmo: Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL. 249-268 BibTeX
• Sachio Hirokawa: The Relevance Graph of a BCK-Formula. 269-285 BibTeX
• Gilles Dowek: A Complete Proof Synthesis Method for the Cube of Type Systems. 287-315 BibTeX
• Gerard Vreeswijk: Defeasible Dialectics: A Controversy-Oriented Approach Towards Defeasible Argumentation. 317-334 BibTeX

Volume 3, Number 4, August 1993

• Hans Jürgen Ohlbach, Renate A. Schmidt: Editorial: The Possibility of Generating True Conjectures. 341-343 BibTeX
• Adam J. Grove, Joseph Y. Halpern: Naming and Identity in Epistemic Logics Part I: The Propositional Case. 345-378 BibTeX
• David Billington: Defeasible Logic is Stable. 379-400 BibTeX
• Urs-Martin Künzi: Logic Programs for Primitive Recursive Sets. 401-415 BibTeX
• Antonio Brogi, Evelina Lamma, Paola Mello: Composing Open Logic Programs. 417-439 BibTeX

Volume 3, Number 5, October 1993

• Johan van Benthem: Editorial: The Elusive Locus of Logicality. 451-453 BibTeX
• Karl Schlechta: Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions. 455-467 BibTeX
• Kerima Benkerimi, Patricia M. Hill: Supporting Transformations for the Partial Evaluation of Logic Programs. 469-486 BibTeX
• Kees Doets: Levationis Laus. 487-516 BibTeX
• Gerhard Brewka, Joachim Hertzberg: How to do Things with Worlds: On Formalizing Actions and Plans. 517-532 BibTeX
• Andrea Masini: 2-Sequent Calculus: Intuitionism and Natural Deduction. 533-562 BibTeX

Volume 3, Number 6, December 1993

• Chris Hankin: Editorial: Logic in Abstract Interpretation. 577-578 BibTeX
• Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modelling Prolog Control. 579-603 BibTeX
• Andrzej Szalas: On the Correspondence between Modal and Classical Logic: An Automated Approach. 605-620 BibTeX
• Nicola Leone, Pasquale Rullo: Ordered Logic Programming with Sets. 621-642 BibTeX
• Steffen van Bakel: Principal Type Schemes for the Strict Type Assignment System. 643-670 BibTeX
• Silvia Ghilezan: Inhabitation in Intersection and Union Type Assignment Systems. 671-685 BibTeX