THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH

DOI10.1017/JSL.2020.66MaRDI QIDQ5000260zbMATHOpenAlexFDO

Authors Carlo Nicolai, Johannes Stern

Publication date 12 July 2021

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2004.07275

zbMATH Keywords

liar paradoxaxiomatic theories of truthmany-valued logicmodal logicnon-classical logicKripke's theory of truthprovability logicKripke-Feferman truthsemantic theoriesSolovay completeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Abstract: We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results. Given a fixed-point model $mathcalM$, or an axiomatization $S$ thereof, we find a modal logic $M$ such that a modal sentence $varphi$ is a theorem of $M$ if and only if the sentence $varph{i}^{\ast }$ obtained by translating the modal operator with the truth predicate is true in $mathcalM$ or a theorem of $S$ under all such translations. To this end, we introduce a novel version of possible worlds semantics featuring both classical and nonclassical worlds and establish the completeness of a family of non-congruent modal logics whose internal logic is subclassical with respect to this semantics.

Recommendations

• Modality and axiomatic theories of truth. II: Kripke-Feferman
• The true modal logic
• Kripke semantics for modal bilattice logic
• The modal logic of pure provability
• Notes on models of (partial) Kripke-Feferman truth
• A defense the Kripkean account of logical truth in first-order modal logic
• Kripke and the logic of truth
• scientific article; zbMATH DE number 1778904
• Modal logics, justification logics, and realization
• Modal logic, truth, and the master modality.

Cites work

• scientific article; zbMATH DE number 4010467 (Why is no real title available?)
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3722625 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1028815 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 1163568 (Why is no real title available?)
• scientific article; zbMATH DE number 795569 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• A modal logic of a truth definition for finite models
• A system of complete and consistent truth
• AXIOMS FOR DETERMINATENESS AND TRUTH
• An axiomatic approach to self-referential truth
• An introduction to non-classical logic. From if to is
• Axiomatic theories of truth
• Axiomatizing Kripke's theory of truth
• Axiomatizing semantic theories of truth?
• Belnap-Dunn modal logics: truth constants vs. truth values
• Elementary induction on abstract structures
• Friedman and the axiomatization of Kripke's theory of truth
• Modal logic
• Modal logics with Belnapian truth values
• Notes on Formal Theories of Truth
• Notes on the computational aspects of Kripke's theory of truth
• On the theory of inconsistent formal systems
• On the weak Kleene scheme in Kripke's theory of truth
• Outline of a Theory of Truth
• Provability interpretations of modal logic
• Provably true sentences across axiomatizations of Kripke's theory of truth
• Reflecting on incompleteness
• Relative Truth Definability of Axiomatic Truth Theories
• Self-reference and modal logic
• Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
• Solovay's completeness without fixed points
• Solovay-type theorems for circular definitions
• Solution of a problem of Leon Henkin
• The lattice of Belnapian modal logics: special extensions and counterparts
• Toward predicate approaches to modality
• Toward useful type-free theories. I

Cited in

(12)

• Modality and axiomatic theories of truth. II: Kripke-Feferman
• A defense the Kripkean account of logical truth in first-order modal logic
• The knower paradox in the light of provability interpretations of modal logic
• scientific article; zbMATH DE number 1696899 (Why is no real title available?)
• Systems for non-reflexive consequence
• Axiomatizing Kripke's theory of truth
• Truth in a logic of formal inconsistency: how classical can it get?
• Toward predicate approaches to modality
• MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH
• A modal logic of a truth definition for finite models
• Modality and axiomatic theories of truth. I: Friedman-Sheard
• Notes on models of (partial) Kripke-Feferman truth

This page was built for publication: THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5000260)