Recommendations
Cites work
- A system of complete and consistent truth
- A theory of formal truth arithmetically equivalent to ID1
- Alfred Tarski. Philosophy of language and logic
- Axiomatizing Kripke's theory of truth
- scientific article; zbMATH DE number 795569 (Why is no real title available?)
- scientific article; zbMATH DE number 2188308 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Logical frameworks for truth and abstraction. An axiomatic study
- Notes on Formal Theories of Truth
- Notes on naive semantics
- On the weak Kleene scheme in Kripke's theory of truth
- Outline of a Theory of Truth
- Proof theory. The first step into impredicativity
- Reflecting on incompleteness
- Relative Truth Definability of Axiomatic Truth Theories
- Revision revisited
- Saving truth from paradox
- Subsystems of second order arithmetic
- The truth is never simple
- Truth and paradox
Cited in
(30)- Supervaluation-style truth without supervaluations
- Truth, partial logic and infinitary proof systems
- Provably true sentences across axiomatizations of Kripke's theory of truth
- On the costs of nonclassical logic
- Revision without revision sequences: self-referential truth
- Adding a conditional to Kripke's theory of truth
- A note on typed truth and consistency assertions
- Conceptual engineering for truth: aletheic properties and new aletheic concepts
- Notes on models of (partial) Kripke-Feferman truth
- scientific article; zbMATH DE number 6536273 (Why is no real title available?)
- Some Philosophical Aspects of Semantic Theory of Truth
- Does truth equal provability in the maximal theory?
- scientific article; zbMATH DE number 2149371 (Why is no real title available?)
- scientific article; zbMATH DE number 6307931 (Why is no real title available?)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
- Notes on the computational aspects of Kripke's theory of truth
- Equivalences for truth predicates
- A UNIFIED THEORY OF TRUTH AND PARADOX
- Axiomatic truth, syntax and metatheoretic reasoning
- A transactional approach to the logic of truth
- Semantic theory and necessary truth
- Reexamination of Tarski's semantics
- Systems for non-reflexive consequence
- In defence of PKF
- Is the HYPE about strength warranted?
- On classical determinate truth
- Adequate conditionals and Kripke's theory of truth
- Some notes on truths and comprehension
- On the costs of classical logic
- Reference and truth
This page was built for publication: Axiomatizing semantic theories of truth?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5259722)
