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
24 ( #49,084 of 51,542 )

Recent downloads (6 months)
24 ( #24,093 of 51,542 )

How can I increase my downloads?

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