The following pages link to The truth is never simple (Q3772173):
Displaying 42 items.
- One hundred years of semantic paradox (Q266649) (← links)
- The limits of determinacy in second order arithmetic: consistency and complexity strength (Q480816) (← links)
- A disquotational theory of truth as strong as \(Z_2^-\) (Q496323) (← links)
- Non-classical elegance for sequent calculus enthusiasts (Q519853) (← links)
- Notes on the computational aspects of Kripke's theory of truth (Q526739) (← links)
- Tarskian and Kripkean truth (Q676185) (← links)
- Some notes on truths and comprehension (Q722023) (← 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)
- Supervaluation-style truth without supervaluations (Q1633214) (← links)
- Truth, partial logic and infinitary proof systems (Q1653651) (← links)
- Possible-worlds semantics for modal notions conceived as predicates (Q1810820) (← links)
- A contextual-hierarchical approach to truth and the liar paradox (Q1876081) (← links)
- Revision without revision sequences: self-referential truth (Q2000672) (← links)
- Cut elimination for systems of transparent truth with restricted initial sequents (Q2075280) (← links)
- Cofinally invariant sequences and revision (Q2350973) (← links)
- Truth, dependence and supervaluation: living with the ghost (Q2377186) (← links)
- Conditionals in theories of truth (Q2410892) (← links)
- Rethinking revision (Q2420716) (← 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)
- Discrete Transfinite Computation (Q2906573) (← 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)
- Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines (Q4995609) (← links)
- SELF-REFERENCE IN ARITHMETIC II (Q5176166) (← links)
- INFINITARY TABLEAU FOR SEMANTIC TRUTH (Q5259720) (← links)
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH? (Q5259722) (← links)
- A UNIFIED THEORY OF TRUTH AND PARADOX (Q5381038) (← links)
- A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS (Q5850984) (← links)
- Guest editors' introduction (Q5920212) (← links)
- A Kripkean approach to unknowability and truth (Q5937827) (← links)
- Truth in applicative theories (Q5951914) (← links)
- Truth meets vagueness. Unifying the semantic and the soritical paradoxes (Q6145031) (← links)
- Procedural semantics and its relevance to paradox (Q6559159) (← links)
- Which `intensional paradoxes' are paradoxes? (Q6606835) (← links)
