The following pages link to The complexity of revision (Q1333309):
Displaying 10 items.
- The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable (Q1317974) (← links)
- The complexity of revision, revised (Q1430997) (← links)
- Revision without revision sequences: self-referential truth (Q2000672) (← links)
- Conditionals in theories of truth (Q2410892) (← links)
- SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS (Q3195586) (← links)
- (Q4225113) (← links)
- Property theory and the revision theory of definitions (Q4953216) (← links)
- Revision Forever! (Q5757423) (← links)
- Guest editors' introduction (Q5920212) (← links)
- Mixed Iterated Revisions: Rationale, Algorithms, and Complexity (Q6116365) (← links)