Journal of Logic and Computation, Volume 2

Volume 2, Number 1, March 1992

Michael Gelfond: Editorial. 1-4 BibTeX
Valentin Goranko, Solomon Passy: Using the Universal Modality: Gains and Questions. 5-30 BibTeX
Mario R. F. Benevides, T. S. E. Maibaum: A Constructive Presentation for the Modal Connective of Necessity (\Box). 31-50 BibTeX
Arnon Avron: Axiomatic Systems, Deduction and Implication. 51-98 BibTeX

Melvin Fitting: Editorial. 107-110 BibTeX
Jean-Yves Girard: Logic and Exceptions: A Few Remarks. 111-118 BibTeX
Manfred Droste: Finite Axiomatizations for Universal Domains. 119-131 BibTeX
Els Laenens, Dirk Vermeir: Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models. 133-172 BibTeX
E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Satisfiability. 173-210 BibTeX
Dirk Roorda: Proof Nets for Lambek Calculus. 211-231 BibTeX

T. S. E. Maibaum: Editorial. 243-245 BibTeX
Yves Auffray, Patrice Enjalbert: Modal Theorem Proving: An Equational Viewpoint. 247-295 BibTeX
Jean-Marc Andreoli: Logic Programming with Focusing Proofs in Linear Logic. 297-347 BibTeX
Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski: The Pure Logic of Necessitation. 349-373 BibTeX
Felipe Cucker: The Arithmetical Hierarchy over the Reals. 375-395 BibTeX
Georg Gottlob: Complexity Results for Nonmonotonic Logics. 397-425 BibTeX

Chris Hankin: Editorial. 437-439 BibTeX
Hanne Riis Nielson, Flemming Nielson: Bounded Fixed-Point Iteration. 441-464 BibTeX
John Hughes, John Launchbury: Relational Reversal of Abstract Interpretation. 465-482 BibTeX
Simon Hughes: Compile-Time Garbage Collection for Higher-Order Functional Languages. 483-509 BibTeX
Patrick Cousot, Radhia Cousot: Abstract Interpretation Frameworks. 511-547 BibTeX

Maarten H. van Emden: Editorial: Rhetoric versus Modernism in Computing. 551-555 BibTeX
A. W. Roscoe: An Alternative Order for the Failures Model. 557-577 BibTeX
Fairouz Kamareddine: Set Theory and Nominalization, Part I. 579-604 BibTeX
Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan: A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. 605-618 BibTeX
Dan Sahlin, Torkel Franzén, Seif Haridi: An Intuitionistic Predicate Logic Theorem Prover. 619-656 BibTeX

Vladimir Lifschitz: Editorial. 671-673 BibTeX
Karl Schlechta: Some Results on Classical Preferential Models. 675-686 BibTeX
Fairouz Kamareddine: Set Theory and Nominalization, Part II. 687-707 BibTeX
Chris Brink, J. J. C. Vermeulen, J. P. G. Pretorius: Verisimilitude via Vietoris. 709-718 BibTeX
Antonis C. Kakas, Robert A. Kowalski, Francesca Toni: Abductive Logic Programming. 719-770 BibTeX