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 Profiles

Johannes Stern
University of Bristol
Carlo Nicolai
King's College London

Analytics

Added to PP
2020-05-03

Downloads
351 (#53,164)

6 months
121 (#38,102)

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?