VOL. 64 · NO. 3 | August 2023
Notre Dame J. Formal Logic 64 (3), (August 2023)
No abstract available
Kyle Gannon, Jinhe Ye
Notre Dame J. Formal Logic 64 (3), 253-280, (August 2023) DOI: 10.1215/00294527-2023-0005
KEYWORDS: Keisler measures, NIP, domination, neostability, 03C45, 03C95
Jeremiah Joven Joaquin
Notre Dame J. Formal Logic 64 (3), 281-290, (August 2023) DOI: 10.1215/00294527-2023-0008
KEYWORDS: conditionals, infectiousness, paradoxes of material implication, weak Kleene, 03A05, 03B05, Z03B45
Marco Grossi
Notre Dame J. Formal Logic 64 (3), 291-316, (August 2023) DOI: 10.1215/00294527-2023-0007
KEYWORDS: substitutional validity, axiomatic truth, modal logic, 03B45, 03B99
Borisa Kuzeljevic, Dilip Raghavan, Jonathan L. Verner
Notre Dame J. Formal Logic 64 (3), 317-327, (August 2023) DOI: 10.1215/00294527-2023-0009
KEYWORDS: Ultrafilter, Rudin–Keisler order, P-point, 03E50, 03E05, 03E20, 03E35, 03E40, 54D35, 54D80
Edwin Mares
Notre Dame J. Formal Logic 64 (3), 329-352, (August 2023) DOI: 10.1215/00294527-2023-0006
KEYWORDS: modal logic, C.I. Lewis, non-normal modal logic, 03A05, 03B45
Jaruwat Rodbanjong, Athipat Thamrongthanyalak
Notre Dame J. Formal Logic 64 (3), 353-362, (August 2023) DOI: 10.1215/00294527-2023-0010
KEYWORDS: definable ring, definably semiprime, definably simple, Wedderburn–Artin theorem, 03C64, 16D25, 16D60, 16K20
Naosuke Matsuda
Notre Dame J. Formal Logic 64 (3), 363-376, (August 2023) DOI: 10.1215/00294527-2023-0011
KEYWORDS: functional completeness, boolean function, Kripke semantics, 03B20, 06E30
Brice Halimi
Notre Dame J. Formal Logic 64 (3), 377-406, (August 2023) DOI: 10.1215/00294527-2023-0012
KEYWORDS: propositional modal logic, Kripke modal semantics, iterated modalities, higher-order possible worlds, Differential geometry, Riemannian geometry, 03A45, 53C21, 53C22, 53A99, 53C05, 70G45
Back to Top