External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 42, Issue 4

    193 -- 210Ahti-Veikko Pietarinen. Propositional Logic of Imperfect Information: Foundations and Applications
    225 -- 255Sergio A. Celani, Ramon Jansana. A Closer Look at Some Subintuitionistic Logics

    Volume 42, Issue 3

    129 -- 142John T. Baldwin, Saharon Shelah. Model Companions of for Stable T
    143 -- 148Takeshi Yamazaki. Reverse Mathematics and Completeness Theorems for Intuitionistic Logic
    149 -- 170Mark F. Sharlow. Broadening the Iterative Conception of Set

    Volume 42, Issue 2

    65 -- 86Lorenzo Sacchetti. The Fixed Point Property in Modal Logic
    87 -- 99Athanassios Tzouvaras. Periodicity of Negation
    101 -- 108M. Bekkali. Pseudo Treealgebras
    109 -- 115Antonella Mancini, Domenico Zambella. A Note on Recursive Models of Set Theories
    117 -- 120Toshio Suzuki. Forcing Complexity: Minimum Sizes of Forcing Conditions
    121 -- 127Kees Doets. Uniform Short Proofs for Classical Theorems

    Volume 42, Issue 1

    1 -- 22Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi. Sequent Calculi for Visser s Propositional Logics
    23 -- 40Tapani Hyttinen, Matti Pauna. On Non-wellfounded Sets as Fixed Points of Substitutions
    41 -- 53Dorella Bellè, Franco Parlamento. The Decidability of the Class and the Axiom of Foundation
    55 -- 64Osamu Morikawa. Extended Gentzen-type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems
    runs on