Notre Dame Journal of Formal Logic
Latest Publications

TOTAL DOCUMENTS

2638

(FIVE YEARS 100)

H-INDEX

37

(FIVE YEARS 2)

Published By Duke University Press

0029-4527

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Solovay’s Relative Consistency Proof for FIM and BI

Notre Dame Journal of Formal Logic ◽

10.1215/00294527-2021-0034 ◽

2021 ◽

Vol 62 (4) ◽

Author(s):

Joan Rand Moschovakis

Keyword(s):

Consistency Proof ◽

Relative Consistency

Download Full-text

Supercompactness Can Be Equiconsistent with Measurability

Notre Dame Journal of Formal Logic ◽

10.1215/00294527-2021-0031 ◽

2021 ◽

Vol 62 (4) ◽

Author(s):

Nam Trang

Download Full-text

A Probabilistic Semantics for Belief Logic

Notre Dame Journal of Formal Logic ◽

10.1215/00294527-2021-0033 ◽

2021 ◽

Vol 62 (4) ◽

Author(s):

Jiaqi He ◽

Hu Liu

Keyword(s):

Probabilistic Semantics ◽

Download Full-text

Characterizing von Neumann Regular Rings in Reverse Mathematics

Notre Dame Journal of Formal Logic ◽

10.1215/00294527-2021-0036 ◽

2021 ◽

Vol 62 (4) ◽

Author(s):

Huishan Wu

Keyword(s):

Reverse Mathematics ◽

Von Neumann ◽

Von Neumann Regular Rings ◽

Von Neumann Regular ◽

Download Full-text

An Incompleteness Theorem for Modal Relevant Logics

Notre Dame Journal of Formal Logic ◽

10.1215/00294527-2021-0035 ◽

2021 ◽

Vol 62 (4) ◽

Author(s):

Shawn Standefer

Keyword(s):

Incompleteness Theorem ◽

Relevant Logics

Download Full-text

Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents

Notre Dame Journal of Formal Logic ◽

10.1215/00294527-2021-0032 ◽

2021 ◽

Vol 62 (4) ◽

Author(s):

Carlo Nicolai

Keyword(s):

Cut Elimination

Download Full-text

Tall Cardinals in Extender Models

Notre Dame Journal of Formal Logic ◽

10.1215/00294527-2021-0023 ◽

2021 ◽

Vol 62 (3) ◽

Author(s):

Gabriel Fernandes ◽

Ralf Schindler

Download Full-text

Two Variants of Noncontingency Operator

Notre Dame Journal of Formal Logic ◽

10.1215/00294527-2021-0025 ◽

2021 ◽

Vol 62 (3) ◽

Author(s):

Jie Fan

Download Full-text

Meaningless Divisions

Notre Dame Journal of Formal Logic ◽

10.1215/00294527-2021-0022 ◽

2021 ◽

Vol 62 (3) ◽

Author(s):

Damian Szmuc ◽

Thomas Macaulay Ferguson

Download Full-text

What Problem Did Ladd-Franklin (Think She) Solve(d)?

Notre Dame Journal of Formal Logic ◽

10.1215/00294527-2021-0026 ◽

2021 ◽

Vol 62 (3) ◽

Author(s):

Sara L. Uckelman

Download Full-text