The Undecidability of the Logic of Subintervals (Q5415296)
From MaRDI portal
scientific article; zbMATH DE number 6293767
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Undecidability of the Logic of Subintervals |
scientific article; zbMATH DE number 6293767 |
Statements
The Undecidability of the Logic of Subintervals (English)
0 references
12 May 2014
0 references
Halpern-Shoham logic
0 references
logic of subintervals
0 references
undecidable logic
0 references
