A decidable weakening of Compass Logic based on cone-shaped cardinal directions

From MaRDI portal
Publication:3460410