default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 3
Volume 3, Number 1, February 1993
- Dov M. Gabbay:
Editorial. 1-2 - Ricardo Caferra:
A Tableaux Method for Systematic Simultaneous Search for Refutationas and Models Using Equational Problems. 3-25 - Kevin T. Kelly:
Learning Theory and Descriptive Set Theory. 27-45 - Peter J. Robinson, John Staples:
Formalizing a Hierarchical Structure of Practical Mathematical Reasoning. 47-61 - Jörg Hudelmaier:
An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic. 63-75 - Raymond Turner:
Lazy Theories of Operations and Types. 77-102
Volume 3, Number 2, April 1993
- Jon Barwise:
Editorial. 113-114 - Michel Cayrol, Olivier Palmade, Thomas Schiex:
A Fixed Point Semantics for the ATMS. 115-130 - A. W. Roscoe:
Unbounded Non-Determinism in CSP. 131-172 - Wiebe van der Hoek
:
Systems for Knowledge and Belief. 173-195 - Kevin J. Compton:
A Deductive System for Existential Least Fixpoint Logic. 197-213
Volume 3, Number 3, June 1993
- Robert A. Kowalski:
Editorial: An Undergraduate Degree in Practical Reasoning. 227-229 - Michael Freund:
Injective Models and Disjunctive Relations. 231-247 - Alberto Zanardo, José Carmo:
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL. 249-268 - Sachio Hirokawa:
The Relevance Graph of a BCK-Formula. 269-285 - Gilles Dowek:
A Complete Proof Synthesis Method for the Cube of Type Systems. 287-315 - Gerard Vreeswijk:
Defeasible Dialectics: A Controversy-Oriented Approach Towards Defeasible Argumentation. 317-334
Volume 3, Number 4, August 1993
- Hans Jürgen Ohlbach, Renate A. Schmidt:
Editorial: The Possibility of Generating True Conjectures. 341-343 - Adam J. Grove, Joseph Y. Halpern:
Naming and Identity in Epistemic Logics Part I: The Propositional Case. 345-378 - David Billington:
Defeasible Logic is Stable. 379-400 - Urs-Martin Künzi:
Logic Programs for Primitive Recursive Sets. 401-415 - Antonio Brogi, Evelina Lamma, Paola Mello:
Composing Open Logic Programs. 417-439
Volume 3, Number 5, October 1993
- Johan van Benthem:
Editorial: The Elusive Locus of Logicality. 451-453 - Karl Schlechta:
Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions. 455-467 - Kerima Benkerimi, Patricia M. Hill:
Supporting Transformations for the Partial Evaluation of Logic Programs. 469-486 - Kees Doets:
Levationis Laus. 487-516 - Gerhard Brewka, Joachim Hertzberg:
How to do Things with Worlds: On Formalizing Actions and Plans. 517-532 - Andrea Masini:
2-Sequent Calculus: Intuitionism and Natural Deduction. 533-562
Volume 3, Number 6, December 1993
- Chris Hankin:
Editorial: Logic in Abstract Interpretation. 577-578 - Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi:
Modelling Prolog Control. 579-603 - Andrzej Szalas:
On the Correspondence between Modal and Classical Logic: An Automated Approach. 605-620 - Nicola Leone, Pasquale Rullo:
Ordered Logic Programming with Sets. 621-642 - Steffen van Bakel:
Principal Type Schemes for the Strict Type Assignment System. 643-670 - Silvia Ghilezan:
Inhabitation in Intersection and Union Type Assignment Systems. 671-685
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-08 10:05 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:
