1 citations · 1 across the 2 of their papers we have counts for
Showing math.LOShow 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
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…