Pages that link to "Item:Q1317974"
From MaRDI portal
The following pages link to The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable (Q1317974):
Displaying 8 items.
- The complexity of revision (Q1333309) (← links)
- Revision without revision sequences: self-referential truth (Q2000672) (← links)
- Conditionals in theories of truth (Q2410892) (← links)
- Rethinking revision (Q2420716) (← links)
- On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set (Q2778662) (← links)
- SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS (Q3195586) (← links)
- Property theory and the revision theory of definitions (Q4953216) (← links)
- Guest editors' introduction (Q5920212) (← links)