On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set (Q2778662)
From MaRDI portal
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
0 references
