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

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

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

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

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

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