default search action

combined dblp search
author search
venue search
publication search

ask others

Notre Dame Journal of Formal Logic, Volume 43

> Home > Journals > Notre Dame Journal of Formal Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 43, Number 1, 2002

- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Tatzel02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Tatzel02
Armin Tatzel:
Bolzano's Theory of Ground and Consequence. 1-25
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Garbacz02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Garbacz02
Pawel Garbacz:
Logics of Relative Identity. 27-50
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/HirschfeldtW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/HirschfeldtW02
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

- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/ShelahT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/ShelahT02
Saharon Shelah, Akito Tsuboi:
Definability of Initial Segments. 65-73
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Antonelli02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Antonelli02
Gian Aldo Antonelli:
The Complexity of Revision, Revised. 75-78
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Forrest02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Forrest02
Peter Forrest:
Nonclassical Mereology and Its Application to Sets. 79-94
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Humberstone02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Humberstone02
Lloyd Humberstone:
The Modal Logic of Agreement and Noncontingency. 95-127

Volume 43, Number 3, 2002

- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Dezani-CiancagliniMM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Dezani-CiancagliniMM02
Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama:
The Semantics of Entailment Omega. 129-145
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Restall02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Restall02
Greg Restall:
Paraconsistency Everywhere. 147-156
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Hall02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Hall02
Eric J. Hall:
A Characterization of Permutation Models in Terms of Forcing. 157-168
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/ErnstFHW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/ErnstFHW02
Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos:
Shortest Axiomatizations of Implicational S4 and S5. 169-179
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Zahidi02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Zahidi02
Karim Zahidi:
Hilbert's Tenth Problem for Rings of Rational Functions. 181-192

Volume 43, Number 4, 2002

- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Stephanou02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Stephanou02
Yannis Stephanou:
Investigations into Quantified Modal Logic. 193-220
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Pollard02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Pollard02
Stephen Pollard:
The Expressive Truth Conditions of Two-Valued Logic. 221-230
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/KrupinskiN02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/KrupinskiN02
Krzysztof Krupinski, Ludomir Newelski:
On Bounded Type-Definable Equivalence Relations. 231-242
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/McCarty02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/McCarty02
David Charles McCarty:
Intuitionistic Completeness and Classical Logic. 243-248
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Ikeda02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Ikeda02
Koichiro Ikeda:
A Note on Generic Projective Planes. 249-254

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.