The following pages link to The truth is never simple (Q3772173):
Displayed 20 items.
- The limits of determinacy in second order arithmetic: consistency and complexity strength (Q480816) (← links)
- Tarskian and Kripkean truth (Q676185) (← links)
- What truth depends on (Q815014) (← links)
- Comparing inductive and circular definitions: Parameters, complexity and games (Q817681) (← links)
- Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems (Q1004086) (← links)
- Infinite time extensions of Kleene's \({\mathcal O}\) (Q1031833) (← links)
- Possible-worlds semantics for modal notions conceived as predicates (Q1810820) (← links)
- A contextual-hierarchical approach to truth and the liar paradox (Q1876081) (← links)
- Truth, dependence and supervaluation: living with the ghost (Q2377186) (← links)
- The undecidability of propositional adaptive logic (Q2460176) (← links)
- On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set (Q2778662) (← links)
- SOME OBSERVATIONS ON TRUTH HIERARCHIES (Q2940864) (← links)
- On revision operators (Q3160562) (← links)
- ULTIMATE TRUTH<i>VIS</i>-<i>À</i>-<i>VIS</i>STABLE TRUTH (Q3580664) (← links)
- Games for Truth (Q3655267) (← links)
- A theory of truth based on a medieval solution to the liar paradox (Q4018171) (← links)
- REVISION REVISITED (Q4899963) (← links)
- SELF-REFERENCE IN ARITHMETIC II (Q5176166) (← links)
- A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS (Q5850984) (← links)
- A Kripkean approach to unknowability and truth (Q5937827) (← links)