Notes on models of (partial) Kripke-Feferman truth
From MaRDI portal
Recommendations
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
- Notes on the mathematical aspects of Kripke's theory of truth
- Notes on the computational aspects of Kripke's theory of truth
- Modality and axiomatic theories of truth. II: Kripke-Feferman
- scientific article; zbMATH DE number 5839768
- Finite Kripke models and predicate logics of provability
- scientific article; zbMATH DE number 3855096
- scientific article; zbMATH DE number 67030
- scientific article; zbMATH DE number 6302903
- Notes on Formal Theories of Truth
Cites work
- 40 years of FDE: an introductory overview
- \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'
- An introduction to non-classical logic. From if to is
- Axiomatizing Kripke's theory of truth
- Axiomatizing semantic theories of truth?
- AXIOMS FOR DETERMINATENESS AND TRUTH
- Belnap's Four-Valued Logic and De Morgan Lattices
- Characterizing Belnap's Logic via De Morgan's Laws
- Handbook of philosophical logic. Vol. 5
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 3532923 (Why is no real title available?)
- scientific article; zbMATH DE number 2042613 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- Infinitary tableau for semantic truth
- Intuitive semantics for first-degree entailments and `coupled trees'
- Kripke and the logic of truth
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Notes on Formal Theories of Truth
- On the costs of nonclassical logic
- Ordinal Analysis with an Introduction to Proof Theory
- Outline of a Theory of Truth
- Proof theory. 2nd ed
- Proof theory. The first step into impredicativity
- Provably true sentences across axiomatizations of Kripke's theory of truth
- Reflecting on incompleteness
- Some remarks on extending and interpreting theories with a partial predicate for truth
- The strong completeness of a system based on Kleene's strong three-valued logic
- Truth in a logic of formal inconsistency: how classical can it get?
Cited in
(7)- Some remarks on extending and interpreting theories with a partial predicate for truth
- Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)
- A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth
- scientific article; zbMATH DE number 5839768 (Why is no real title available?)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
- Axiomatizing Kripke's theory of truth
- A Note on Linear Kripke Models
This page was built for publication: Notes on models of (partial) Kripke-Feferman truth
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2699016)
