The Modal Logics of Kripke-Feferman Truth

Abstract

We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results.

Author's Profile

Carlo Nicolai
King's College London

Analytics

Added to PP
2020-05-03

Downloads
265 (#57,037)

6 months
53 (#72,689)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?