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
297 (#57,111)

6 months
74 (#64,881)

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?