The following pages link to (Q4342078):
Displaying 34 items.
- Contextual-hierarchical reconstructions of the strengthened liar problem (Q253127) (← links)
- Leśniewski's early Liar, Tarski and natural language (Q598317) (← links)
- Alethic reference (Q777945) (← links)
- Reference and truth (Q777946) (← links)
- Comparing fixed-point and revision theories of truth (Q839652) (← links)
- The elimination of self-reference: Generalized Yablo-series and the theory of truth (Q878231) (← links)
- Periodicity and reflexivity in revision sequences (Q897483) (← links)
- Tarski on ``essentially richer'' metalanguages (Q1283316) (← links)
- Dynamic semantics and circular propositions (Q1325775) (← links)
- Truth and the liar in De Morgan-valued models (Q1347605) (← links)
- Supervaluation-style truth without supervaluations (Q1633214) (← links)
- Models for a paraconsistent set theory (Q1775861) (← links)
- Possible-worlds semantics for modal notions conceived as predicates (Q1810820) (← links)
- Vagueness and blurry sets (Q1826436) (← links)
- Arithmetic with satisfaction (Q1903591) (← links)
- Revision without revision sequences: self-referential truth (Q2000672) (← links)
- What paradoxes depend on (Q2054131) (← links)
- Generalizing Montague's theorem on recursive definitions (Q2075276) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Outline of an intensional theory of truth (Q2134277) (← links)
- Designing paradoxes: a revision-theoretic approach (Q2155938) (← links)
- Cofinally invariant sequences and revision (Q2350973) (← links)
- Revision without revision sequences: circular definitions (Q2420713) (← links)
- Modal frame correspondences and fixed-points (Q2433098) (← links)
- Remarks on the Gupta-Belnap fixed-point property for<i>k</i>-valued clones (Q4583346) (← links)
- REFERENCE IN ARITHMETIC (Q4961744) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552) (← links)
- ω-circularity of Yablo's paradox (Q5006833) (← links)
- On the Type-Free Paracoherent Foundation of Mathematics with the Sedate Extension of Classical Logic by the Librationist Set Theory £, and Specifically on Why £Is Neither Inconsistent nor Contradictory nor Paraconsistent (Q5241538) (← links)
- A UNIFIED THEORY OF TRUTH AND PARADOX (Q5381038) (← links)
- SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS (Q6041342) (← links)
- A step towards absolute versions of metamathematical results (Q6150669) (← links)
- Varieties of self-reference in metamathematics (Q6166124) (← links)
