1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.AI2021
Truth and Subjunctive Theories of Knowledge: No Luck?
Johannes Stern
The paper explores applications of Kripke's theory of truth to semantics for anti-luck epistemology, that is, to subjunctive theories of knowledge. Subjunctive theories put forward…
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…