No label defined (Q4613588)
From MaRDI portal
scientific article; zbMATH DE number 7006302
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7006302 |
Statements
24 January 2019
0 references
diagonal argument
0 references
self-reference
0 references
fixed-points
0 references
Yablo's paradox
0 references
(linear) temporal logic
0 references
