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.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

The modal logics of kripke–feferman truth.Carlo Nicolai & Johannes Stern - 2021 - Journal of Symbolic Logic 86 (1):362-396.
Modality and axiomatic theories of truth II: Kripke-Feferman.Johannes Stern - 2014 - Review of Symbolic Logic 7 (2):299-318.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 288-301.
Truth, Partial Logic and Infinitary Proof Systems.Martin Fischer & Norbert Gratzl - 2017 - Studia Logica 106 (3):1-26.
Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
Axiomatizations with context rules of inference in modal logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.
Notes on Models of (Partial) Kripke–Feferman Truth.Luca Castaldo - 2023 - Studia Logica 111 (1):83-111.
Properties of Intuitionistic Provability and Preservativity Logics.Rosalie Iemhoff, Dick de Jongh & Chunlai Zhou - 2005 - Logic Journal of the IGPL 13 (6):615-636.
On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.
Normal modal substructural logics with strong negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.

Analytics

Added to PP
2020-05-03

Downloads
341 (#62,334)

6 months
112 (#46,098)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references