External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 36, Issue 4

    499 -- 501Peter Clote. Editor s Introduction
    502 -- 504Roman Murawski. The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic
    505 -- 518Henryk Kotlarski. Automorphisms of Countable Recursively Saturated Models of PA: a Survey
    519 -- 530Roman Kossak. Four Problems Concerning Recursively Saturated Models of Arithmetic
    531 -- 546Roman Kossak, James H. Schmerl. Arithmetically Saturated Models of Arithmetic
    547 -- 559Richard Kaye. The Theory of kappa-like Models of Arithmetic
    560 -- 569James H. Schmerl. PA(aa)
    570 -- 582David Seetapun, Theodore A. Slaman. On the Strength of Ramsey s Theorem
    585 -- 594Fabio Bellissima, Anna Bucalo. A Distinguishable Model Theorem for the Minimal US-Tense Logic
    595 -- 605Michiro Kondo. Approximation Logic and Strong Bunge Algebra
    606 -- 629Oleg Anshakov, S. Rychkov. On Finite-Valued Propositional Logical Calculi

    Volume 36, Issue 3

    341 -- 363Peter Roeper, Hugues Leblanc. Consequence and Confirmation
    364 -- 381Michael Makkai. On Gabbay s Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic
    382 -- 395Michaelis Michael, A. V. Townsend. Binary Quantification Systems
    396 -- 406Michiro Kondo. Classification of Weak DeMorgan Algebras
    407 -- 413José M. Méndez, Francisco Salto. Urquhart s C with Intuitionistic Negation: Dummett s LC without the Contraction Axiom
    414 -- 424J. E. Helmreich. Expansions of Ultrahomogeneous Graphs
    425 -- 434Masasi Higasikawa. Partition Principles and Infinite Sums of Cardinal Numbers
    435 -- 453Norman D. Megill. A Finitely Axiomatized Formalization of Predicate Calculus with Equality
    454 -- 474Athanassios Tzouvaras. Worlds of Homogeneous Artifacts
    475 -- 495Kieron O Hara, Han Reichgelt, Nigel Shadbolt. Avoiding Omnidoxasticity in Logics of Belief: A Reply to MacPherson

    Volume 36, Issue 2

    185 -- 213Andrea Cantini. Levels of Truth
    214 -- 229Lloyd Humberstone. The Logic of Non-contingency
    230 -- 234Steven T. Kuhn. Minimal Non-contingency Logic
    235 -- 268George Gargov. An Approach to Uncertainty via Sets of Truth Values
    269 -- 278Tapani Hyttinen. Remarks on Structure Theorems for omega::1::-Saturated Models
    279 -- 298Uwe Meixner. Ontologically Minimal Logical Semantics
    299 -- 303James Cain. Arithmetic With Satisfaction
    304 -- 318Dorella Bellè, Franco Parlamento. Decidability and Completeness for Open Formulas of Membership Theories
    319 -- 335M. S. Joy, Victor J. Rayward-Smith. NP-Completeness of a Combinator Optimization Problem
    336 -- 339Graeme Forbes. Book Review: Ruth Barcan Marcus, Modalities, Oxford University Press, 1993

    Volume 36, Issue 1

    1 -- 14André Fuhrmann. Editor s Introduction
    15 -- 29Mark Ryan, Pierre Yves Schobbens. Belief Revision and Verisimilitude
    30 -- 43Katarina Britz, Chris Brink. Computing Verisimilitude
    44 -- 54Heinrich Wansing. Semantics-based Nonmonotonic Inference
    55 -- 102Wayne Wobcke. Belief Revision, Conditional Logic and Nonmonotonic Reasoning
    103 -- 119Sven Ove Hansson, Erik J. Olsson. Levi Contractions and AGM Contractions: a Comparison
    120 -- 133Pavlos Peppas, Mary-Anne Williams. Constructive Modelings for Theory Change
    134 -- 157Jan Jaspars. Partial Up and Down Logic
    158 -- 183Craig Boutilier. On the Revision of Probabilistic Belief States
    runs on