External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 38, Issue 4

    481 -- 487Graham Priest. Impossible Worlds - Editor s Introduction
    488 -- 515Jon Barwise. Information and Impossibilities
    516 -- 526Edwin D. Mares. Who s Afraid of Impossible Worlds?
    527 -- 534Chris Mortensen. Peeking at the Impossible
    535 -- 572Daniel Nolan. Impossible Worlds: A Modest Approach
    573 -- 582Graham Priest. Sylvan s Box: a Short Story and Ten Morals
    583 -- 596Greg Restall. Ways Things Can t Be
    621 -- 639Achille C. Varzi. Inconsistency without Contradiction
    640 -- 660Edward N. Zalta. A Classically-Based Theory of Impossible Worlds

    Volume 38, Issue 3

    325 -- 349John T. Kearns. Propositional Logic of Supposition and Assertion
    350 -- 373Osamu Takaki. Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction
    374 -- 384Carsten Butz. Syntax and Semantics of the Logic L:::lambda::omega omega:::::
    385 -- 397Anthony F. Peressini. Cumulative versus Noncumulative Ramified Types
    398 -- 405S. V. Bhave. Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion
    406 -- 418Rich Blaylock, Rodney G. Downey, Steffen Lempp. Infima in the Recursively Enumerable Weak Truth Table Degrees
    419 -- 436Mark Reynolds. A Decidable Temporal Logic of Parallelism
    437 -- 474Richard G. Heck Jr.. Grundgesetz der Arithmetik I §§29-32

    Volume 38, Issue 2

    165 -- 178Bakhadyr Khoussainov, André Nies, Richard A. Shore. Computable Models of Theories with Few Models
    179 -- 194Newton C. A. da Costa, Décio Krause. An Intenstional Schrödinger Logic
    195 -- 224Victor Rodych. Wittgenstein on Mathematical Meaningfulness, Decidability, and Application
    225 -- 245Ian E. Pratt, Oliver Lemon. Ontologies for Plane, Polygonal Mereotopology
    246 -- 269Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri. The Relevance of Intersection and Union Types
    270 -- 275Karim Nour. A Conjecture on Numeral Systems
    276 -- 294Genoveva Martí. Rethinking Quine s Argument on the Collapse of Modal Distinctions
    295 -- 313Philip Kremer. Propositional Quantification in the Topological Semantics for S4

    Volume 38, Issue 1

    1 -- 18Sergio A. Celani, Ramon Jansana. A New Semantics for Positive Modal Logic
    19 -- 36John C. Simms. Another Characterization of Alephs: Decompositions of Hyperspace
    37 -- 48Domenico Zambella. Algebraic Methods and Bounded Formulas
    49 -- 64Wallace A. Murphree. The Numerical Syllogism and Existential Presupposition
    65 -- 80Chrysafis Hartonas. An Algebraic Theory of Structured Objects
    81 -- 92Paola D Aquino. Towards the Limits of the Tennebaum Phenomenon
    93 -- 103Ambar Chowdhury, Bradd Hart. An Unclassifiable Unidimensional Theory without OTOP
    104 -- 131Gerald Vision. Why Correspondence Truth Will Not Go Away
    runs on