Pages that link to "Item:Q5480633"
From MaRDI portal
The following pages link to Axiomatizing Kripke's theory of truth (Q5480633):
Displaying 40 items.
- One hundred years of semantic paradox (Q266649) (← links)
- A proof-theoretic account of classical principles of truth (Q385807) (← links)
- The paradox of the knower revisited (Q392283) (← links)
- McGee on Horwich (Q514041) (← links)
- Reference and truth (Q777946) (← links)
- Formal notes on the substitutional analysis of logical consequence (Q778737) (← links)
- Truth, partial logic and infinitary proof systems (Q1653651) (← links)
- Provably true sentences across axiomatizations of Kripke's theory of truth (Q1708102) (← links)
- Norms of truth and logical revision (Q1708460) (← links)
- A note on contraction-free logic for validity (Q1708464) (← links)
- A robust non-transitive logic (Q1708468) (← links)
- On the costs of nonclassical logic (Q1749804) (← links)
- Revision without revision sequences: self-referential truth (Q2000672) (← links)
- Cut elimination for systems of transparent truth with restricted initial sequents (Q2075280) (← links)
- Non-reflexivity and revenge (Q2078982) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Book review: Leon Horsten, The Tarskian turn. Deflationism and axiomatic truth. (Q2377054) (← links)
- Adding a conditional to Kripke's theory of truth (Q2397814) (← links)
- Revision without revision sequences: circular definitions (Q2420713) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- One step is enough (Q2679573) (← links)
- Metainferential reasoning on strong Kleene models (Q2679577) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- TRUTH, LOGICAL VALIDITY AND DETERMINATENESS: A COMMENTARY ON FIELD’S<i>SAVING TRUTH FROM PARADOX</i> (Q3096817) (← links)
- Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
- AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669) (← links)
- Games for Truth (Q3655267) (← links)
- REVISION REVISITED (Q4899963) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- THE POWER OF NAIVE TRUTH (Q5065142) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- Feferman and the Truth (Q5214789) (← links)
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH? (Q5259722) (← links)
- MODELS OF POSITIVE TRUTH (Q5381034) (← links)
- A UNIFIED THEORY OF TRUTH AND PARADOX (Q5381038) (← links)
- REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH (Q5850987) (← links)
- , , AND REINHARDT’S PROGRAM (Q5880422) (← links)
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE (Q6041345) (← links)
- Systems for non-reflexive consequence (Q6067744) (← links)
- Truth meets vagueness. Unifying the semantic and the soritical paradoxes (Q6145031) (← links)
