A decidable weakening of Compass Logic based on cone-shaped cardinal directions (Q3460410)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A decidable weakening of Compass Logic based on cone-shaped cardinal directions |
scientific article |
Statements
A decidable weakening of Compass Logic based on cone-shaped cardinal directions (English)
0 references
7 January 2016
0 references
compass logic
0 references
cone logic
0 references
interval temporal logics
0 references