Notre Dame Journal of Formal Logic, Volume 43

Volume 43, Number 1, 2002

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

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

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

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