On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set (Q2778662)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set |
scientific article |
Statements
On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set (English)
0 references
20 March 2002
0 references
truth theory
0 references
complexity of definitions
0 references
fixed-point theory
0 references
revision theory of truth
0 references
algorithmic theory of truth
0 references
