Notre Dame Journal of Formal Logic
Latest Publications

TOTAL DOCUMENTS

2638
(FIVE YEARS 33)

H-INDEX

37
(FIVE YEARS 0)

Published By Duke University Press

0029-4527
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Solovay’s Relative Consistency Proof for FIM and BI

2021 ◽  
Vol 62 (4) ◽  
Author(s):  
Joan Rand Moschovakis
Keyword(s):  
Consistency Proof ◽  
Relative Consistency

Supercompactness Can Be Equiconsistent with Measurability

2021 ◽  
Vol 62 (4) ◽  
Author(s):  
Nam Trang

A Probabilistic Semantics for Belief Logic

2021 ◽  
Vol 62 (4) ◽  
Author(s):  
Jiaqi He ◽  
Hu Liu
Keyword(s):  
Probabilistic Semantics ◽  
Belief Logic

An Incompleteness Theorem for Modal Relevant Logics

2021 ◽  
Vol 62 (4) ◽  
Author(s):  
Shawn Standefer
Keyword(s):  
Incompleteness Theorem ◽  
Relevant Logics

scholarly journals Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents

2021 ◽  
Vol 62 (4) ◽  
Author(s):  
Carlo Nicolai
Keyword(s):  
Cut Elimination

scholarly journals Tall Cardinals in Extender Models

2021 ◽  
Vol 62 (3) ◽  
Author(s):  
Gabriel Fernandes ◽  
Ralf Schindler

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

2021 ◽  
Vol 62 (3) ◽  
Author(s):  
Sara L. Uckelman

Two Variants of Noncontingency Operator

2021 ◽  
Vol 62 (3) ◽  
Author(s):  
Jie Fan

Meaningless Divisions

2021 ◽  
Vol 62 (3) ◽  
Author(s):  
Damian Szmuc ◽  
Thomas Macaulay Ferguson
Load More ...
Sign in / Sign up

Export Citation Format

Share Document