The Modal Logics of Kripke-Feferman Truth

Download Edit this record How to cite View on PhilPapers
Abstract
We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results.
Categories
(categorize this paper)
PhilPapers/Archive ID
NICTML
Upload history
Archival date: 2020-05-30
View other versions
Added to PP index
2020-05-03

Total views
107 ( #39,755 of 2,427,421 )

Recent downloads (6 months)
30 ( #25,935 of 2,427,421 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.