6 citations · 7 across the 4 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020★ 1 cited
KF, PKF, and Reinhardt's Program
Luca Castaldo, Johannes Stern
In 'Some Remarks on Extending an Interpreting Theories with a Partial Truth Predicate' Reinhardt famously proposed an instrumentalist interpretation of the truth theory Kripke-Fefe…
math.LO2020★ 6 cited
The Modal Logics of Kripke-Feferman Truth
Carlo Nicolai, Johannes Stern
We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results. Given a fixed-point model $\mathca…