One-dimensional fragment of first-order logic (Q4636298)
From MaRDI portal
scientific article; zbMATH DE number 6863864
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | One-dimensional fragment of first-order logic |
scientific article; zbMATH DE number 6863864 |
Statements
23 April 2018
0 references
extensions of modal logic
0 references
fragments of first-order logic
0 references
Boolean modal logic
0 references
decidability
0 references
math.LO
0 references
cs.LO
0 references
