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
359 (#53,246)

6 months
127 (#37,694)

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?