Dynamic relational mereotopology: Logics for stable and unstable relations (Q4982515)
From MaRDI portal
scientific article; zbMATH DE number 6423891
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dynamic relational mereotopology: Logics for stable and unstable relations |
scientific article; zbMATH DE number 6423891 |
Statements
Dynamic relational mereotopology: Logics for stable and unstable relations (English)
0 references
9 April 2015
0 references
stable and unstable relations
0 references
mereology
0 references
mereotopology
0 references
representation theory
0 references
hereditary undecidability
0 references
quantifier-free fragment
0 references
