Notre Dame Journal of Formal Logic, Volume 43

Volume 43, Number 1, 2002

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

Volume 43, Number 2, 2002

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

Volume 43, Number 3, 2002

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

Volume 43, Number 4, 2002

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