14 citations · 14 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2020
Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over HYPE
Martin Fischer, Carlo Nicolai, Pablo Dopico Fernandez
Questions concerning the proof-theoretic strength of classical versus non-classical theories of truth have received some attention recently. A particularly convenient case study co…
math.LO2017★ 14 cited
Iterated reflection principles over full disquotational truth
Martin Fischer, Carlo Nicolai, Leon Horsten
Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied t…