Notre Dame Journal of Formal Logic, Volume 37
Volume 37, Number 1, Winter 1996
- Maarten Marx: Multi-Dimensional Semantics for Modal Logics. 25-34
- Michael Kaminski, Michael L. Tiomkin: The Expressive Power of Second-Order Propositional Modal Logic. 35-43
- Silvia Ghilezan: Strong Normalization and Typability with Intersection Types. 44-52
- Andreja Prijatelj: Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some of Its Extensions. 53-70
- William C. Purdy: Decidability of Fluted Logic with Identity. 84-104
- Francesco Orilia: A Contingent Russell's Paradox. 105-111
- Mario Gómez-Torrente: Tarski on Logical Consequence. 125-151
Volume 37, Number 2, Spring 1996
- Patrick Blackburn, Maarten de Rijke: Special Issue on Combining Logics - Editor's Introduction. 161-166
- Frank Wolter: A Counterexample in Tense Logic. 167-173
- Edith Hemaspaandra: The Price of Universality. 174-203
- Joeri Engelfriet: Minimal Temporal Epistemic Logic. 233-259
- Angelo Montanari, Alberto Policriti: Decidability Results for Metric and Layered Temporal Logics. 260-282
- Arend Rensink: Algebra and Theory of Order-Deterministic Pomsets. 283-320
Volume 37, Number 3, Summer 1996
- Walter P. Van Stigt: Introduction to Life, Art, and Mysticism. 381-387
- Luitzen Egbertus Jan Brouwer: Life, Art, and Mysticism. 389-429
- Loredana Biacino, Giangiacomo Gerla: Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point. 431-439
- Igor Urbas: Dual-Intuitionistic Logic. 440-451
- Kai F. Wehmeier: Classical and Intuitionistic Models of Arithmetic. 452-461
- Max A. Freund: Semantics for Two Second-Order Logical Systems: =RRC* and Cocchiarella's RRC*. 483-505
- Enrique Casanovas, Pilar Dellunde, Ramon Jansana: On Elementary Equivalence for Equality-free Logic. 506-522
Volume 37, Number 4, Fall 1996
- Jeffry L. Hirst, Steffen Lempp: Infinite Versions of Some Problems From Finite Complexity Theory. 545-553
- Gregory Landini: Logic in Russell's Principles of Mathematics. 554-584
- Daniel Dzierzgowski: Finite Sets and Natural Numbers in Intuitionistic TT. 585-601
- Lloyd Humberstone: A Basic System of Congruential-to-Monotone Bimodal Logic and Two of its Extensions. 602-612
- Oleg V. Belegradek: Higman's Embedding Theorem in a General Setting and Its Application to Existentially Closed Algebras. 613-624
- Ken Akiba: Field on the Notion of Consistency. 625-630
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team