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 7 items.
- The complexity of revision (Q1333309) (← links)
- Revision without revision sequences: self-referential truth (Q2000672) (← links)
- Conditionals in theories of truth (Q2410892) (← 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)