THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH

DOI10.1017/jsl.2020.66zbMath1491.03015arXiv2004.07275OpenAlexW3096465156MaRDI QIDQ5000260

Johannes Stern, Carlo Nicolai

Publication date: 12 July 2021

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

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

zbMATH Keywords

modal logicliar paradoxmany-valued logicprovability logicaxiomatic theories of truthnon-classical logicKripke's theory of truthKripke-Feferman truthsemantic theoriesSolovay completeness

Mathematics Subject Classification ID

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

Related Items (1)

Systems for non-reflexive consequence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Toward predicate approaches to modality
• Notes on the computational aspects of Kripke's theory of truth
• Self-reference and modal logic
• An axiomatic approach to self-referential truth
• Elementary induction on abstract structures
• Provability interpretations of modal logic
• Solovay's completeness without fixed points
• Provably true sentences across axiomatizations of Kripke's theory of truth
• A system of complete and consistent truth
• On the theory of inconsistent formal systems
• A lattice-theoretical fixpoint theorem and its applications
• The lattice of Belnapian modal logics: Special extensions and counterparts
• Relative Truth Definability of Axiomatic Truth Theories
• SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS
• Solution of a problem of Leon Henkin
• AXIOMS FOR DETERMINATENESS AND TRUTH
• Toward useful type-free theories. I
• Notes on Formal Theories of Truth
• Reflecting on incompleteness
• On the weak Kleene scheme in Kripke's theory of truth
• Outline of a Theory of Truth
• BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES
• AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
• A Modal Logic of a Truth Definition for Finite Models*
• Axiomatizing Kripke's theory of truth

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