Notre Dame Journal of Formal Logic, Volume 37

Volume 37, Number 1, Winter 1996

Brian F. Chellas, Krister Segerberg: Modal Logics in the Vicinity of S1. 1-24 BibTeX
Maarten Marx: Multi-Dimensional Semantics for Modal Logics. 25-34 BibTeX
Michael Kaminski, Michael L. Tiomkin: The Expressive Power of Second-Order Propositional Modal Logic. 35-43 BibTeX
Silvia Ghilezan: Strong Normalization and Typability with Intersection Types. 44-52 BibTeX
Andreja Prijatelj: Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some of Its Extensions. 53-70 BibTeX
Fabio Pianesi, Achille C. Varzi: Refining Temporal Reference in Event Structures. 71-83 BibTeX
William C. Purdy: Decidability of Fluted Logic with Identity. 84-104 BibTeX
Francesco Orilia: A Contingent Russell's Paradox. 105-111 BibTeX ,
John L. Bell, William Demopoulos: Elementary Propositions and Independence. 112-124 BibTeX
Mario Gómez-Torrente: Tarski on Logical Consequence. 125-151 BibTeX

Combining Logics

Patrick Blackburn, Maarten de Rijke: Special Issue on Combining Logics - Editor's Introduction. 161-166 BibTeX
Frank Wolter: A Counterexample in Tense Logic. 167-173 BibTeX
Edith Hemaspaandra: The Price of Universality. 174-203 BibTeX
Marcelo Finger, Dov M. Gabbay: Combining Temporal Logic Systems. 204-232 BibTeX
Joeri Engelfriet: Minimal Temporal Epistemic Logic. 233-259 BibTeX
Angelo Montanari, Alberto Policriti: Decidability Results for Metric and Layered Temporal Logics. 260-282 BibTeX
Arend Rensink: Algebra and Theory of Order-Deterministic Pomsets. 283-320 BibTeX
Albert Visser, Kees Vermeulen: Dynamic Bracketing and Discourse Representation. 321-365 BibTeX
A. Jánossy, Ágnes Kurucz, A. E. Eiben: Combining Algebraizable Logics. 366-380 BibTeX

Walter P. Van Stigt: Introduction to Life, Art, and Mysticism. 381-387 BibTeX
Luitzen Egbertus Jan Brouwer: Life, Art, and Mysticism. 389-429 BibTeX
Loredana Biacino, Giangiacomo Gerla: Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point. 431-439 BibTeX
Igor Urbas: Dual-Intuitionistic Logic. 440-451 BibTeX
Kai F. Wehmeier: Classical and Intuitionistic Models of Arithmetic. 452-461 BibTeX
Franco Barbanera, Stefano Berardi: A Constructive Valuation Semantics for Classical Logic. 462-482 BibTeX
Max A. Freund: Semantics for Two Second-Order Logical Systems: =RRC^* and Cocchiarella's RRC^*. 483-505 BibTeX
Enrique Casanovas, Pilar Dellunde, Ramon Jansana: On Elementary Equivalence for Equality-free Logic. 506-522 BibTeX

Alasdair Urquhart, Xudong Fu: Simplified Lower Bounds for Propositional Proofs. 523-544 BibTeX
Jeffry L. Hirst, Steffen Lempp: Infinite Versions of Some Problems From Finite Complexity Theory. 545-553 BibTeX
Gregory Landini: Logic in Russell's Principles of Mathematics. 554-584 BibTeX
Daniel Dzierzgowski: Finite Sets and Natural Numbers in Intuitionistic TT. 585-601 BibTeX
Lloyd Humberstone: A Basic System of Congruential-to-Monotone Bimodal Logic and Two of its Extensions. 602-612 BibTeX
Oleg V. Belegradek: Higman's Embedding Theorem in a General Setting and Its Application to Existentially Closed Algebras. 613-624 BibTeX
Ken Akiba: Field on the Notion of Consistency. 625-630 BibTeX