Pages that link to "Item:Q2778662"
From MaRDI portal
The following pages link to On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set (Q2778662):
Displaying 18 items.
- One hundred years of semantic paradox (Q266649) (← links)
- Some notes on truths and comprehension (Q722023) (← links)
- Comparing inductive and circular definitions: Parameters, complexity and games (Q817681) (← links)
- Comparing fixed-point and revision theories of truth (Q839652) (← links)
- The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable (Q1317974) (← links)
- The complexity of revision (Q1333309) (← links)
- Alternative revision theories of truth (Q1815415) (← links)
- How truth behaves when there's no vicious reference (Q1959327) (← links)
- Revision without revision sequences: self-referential truth (Q2000672) (← links)
- Cofinally invariant sequences and revision (Q2350973) (← links)
- Conditionals in theories of truth (Q2410892) (← links)
- Modifying Kremer's modified Gupta-Belnap desideratum (Q2874897) (← links)
- On revision operators (Q3160562) (← links)
- SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS (Q3195586) (← links)
- Construction of Truth Predicates: Approximation Versus Revision (Q4254566) (← links)
- REVISION REVISITED (Q4899963) (← links)
- A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS (Q5850984) (← links)
- Guest editors' introduction (Q5920212) (← links)
