Pages that link to "Item:Q5259722"
From MaRDI portal
The following pages link to AXIOMATIZING SEMANTIC THEORIES OF TRUTH? (Q5259722):
Displaying 16 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- Notes on the computational aspects of Kripke's theory of truth (Q526739) (← links)
- Some notes on truths and comprehension (Q722023) (← links)
- Reference and truth (Q777946) (← links)
- Supervaluation-style truth without supervaluations (Q1633214) (← links)
- Truth, partial logic and infinitary proof systems (Q1653651) (← links)
- Provably true sentences across axiomatizations of Kripke's theory of truth (Q1708102) (← links)
- On the costs of nonclassical logic (Q1749804) (← links)
- Revision without revision sequences: self-referential truth (Q2000672) (← links)
- Adding a conditional to Kripke's theory of truth (Q2397814) (← links)
- Conceptual engineering for truth: aletheic properties and new aletheic concepts (Q2693135) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- EQUIVALENCES FOR TRUTH PREDICATES (Q5274881) (← links)
- A UNIFIED THEORY OF TRUTH AND PARADOX (Q5381038) (← links)
- Systems for non-reflexive consequence (Q6067744) (← links)
