Axiomatizing discrete spatial relations (Q1617812)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Axiomatizing discrete spatial relations |
scientific article |
Statements
Axiomatizing discrete spatial relations (English)
0 references
8 November 2018
0 references
spatial relations
0 references
discrete space
0 references
intuitionistic-modal logic
0 references
qualitative representation and reasoning
0 references