The Modal Logics of Kripke-Feferman Truth

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

Total views
127 ( #42,252 of 65,724 )

Recent downloads (6 months)
16 ( #42,757 of 65,724 )

How can I increase my downloads?

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