A decidable weakening of compass logic based on cone-shaped cardinal directions (Q3460410)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6527399
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A decidable weakening of compass logic based on cone-shaped cardinal directions |
scientific article; zbMATH DE number 6527399 |
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
0.9425341486930848
0 references
0.7313451766967773
0 references
0.7299925684928894
0 references
0.728651225566864
0 references
0.7200940251350403
0 references