External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 43, Issue 4

    193 -- 220Yannis Stephanou. Investigations into Quantified Modal Logic
    221 -- 230Stephen Pollard. The Expressive Truth Conditions of Two-Valued Logic
    231 -- 242Krzysztof Krupinski, Ludomir Newelski. On Bounded Type-Definable Equivalence Relations
    243 -- 248David Charles McCarty. Intuitionistic Completeness and Classical Logic
    249 -- 254Koichiro Ikeda. A Note on Generic Projective Planes

    Volume 43, Issue 3

    129 -- 145Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama. The Semantics of Entailment Omega
    147 -- 156Greg Restall. Paraconsistency Everywhere
    157 -- 168Eric J. Hall. A Characterization of Permutation Models in Terms of Forcing
    169 -- 179Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos. Shortest Axiomatizations of Implicational S4 and S5
    181 -- 192Karim Zahidi. Hilbert s Tenth Problem for Rings of Rational Functions

    Volume 43, Issue 2

    65 -- 73Saharon Shelah, Akito Tsuboi. Definability of Initial Segments
    75 -- 78Gian Aldo Antonelli. The Complexity of Revision, Revised
    79 -- 94Peter Forrest. Nonclassical Mereology and Its Application to Sets
    95 -- 127Lloyd Humberstone. The Modal Logic of Agreement and Noncontingency

    Volume 43, Issue 1

    1 -- 25Armin Tatzel. Bolzano s Theory of Ground and Consequence
    27 -- 50Pawel Garbacz. Logics of Relative Identity
    51 -- 64Denis R. Hirschfeldt, Walker M. White. Realizing Levels of the Hyperarithmetic Hierarchy as Degree Spectra of Relations on Computable Structures
    runs on