Notes on models of (partial) Kripke-Feferman truth

DOI10.1007/s11225-022-10016-3OpenAlexW4306313919MaRDI QIDQ2699016

Luca Castaldo

Publication date: 26 April 2023

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-022-10016-3

zbMATH Keywords

nonstandard modelstheories of truthfixed-point semanticsclassical and nonclassical logicKF and PKF

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. The first step into impredicativity
• Proof theory. 2nd ed
• Some remarks on extending and interpreting theories with a partial predicate for truth
• Kripke and the logic of truth
• 40 years of FDE: an introductory overview
• Provably true sentences across axiomatizations of Kripke's theory of truth
• On the costs of nonclassical logic
• Handbook of philosophical logic. Vol. 5
• Intuitive semantics for first-degree entailments and `coupled trees'
• 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?
• AXIOMS FOR DETERMINATENESS AND TRUTH
• Notes on Formal Theories of Truth
• Reflecting on incompleteness
• Belnap's Four-Valued Logic and De Morgan Lattices
• Outline of a Theory of Truth
• Natural Deduction for Four-Valued both Regular and Monotonic Logics
• Characterizing Belnap's Logic via De Morgan's Laws
• Ordinal Analysis with an Introduction to Proof Theory
• INFINITARY TABLEAU FOR SEMANTIC TRUTH
• AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
• LP⁺, K3⁺, FDE⁺, AND THEIR ‘CLASSICAL COLLAPSE’
• Axiomatizing Kripke's theory of truth

This page was built for publication: Notes on models of (partial) Kripke-Feferman truth