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
261 (#56,548)

6 months
52 (#70,765)

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?