Logics of metric spaces (Q5267430)
From MaRDI portal
scientific article; zbMATH DE number 6729807
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logics of metric spaces |
scientific article; zbMATH DE number 6729807 |
Statements
Logics of metric spaces (English)
0 references
13 June 2017
0 references
decidability
0 references
expressive completeness
0 references
metric spaces
0 references
spatial reasoning
0 references
