Logo del repository
  1. Home
 
Opzioni

A decidable weakening of compass logic based on cone-shaped cardinal directions

Montanari A.
•
Puppis G.
•
Sala P.
2015
  • journal article

Periodico
LOGICAL METHODS IN COMPUTER SCIENCE
Abstract
We introduce a modal logic, called Cone Logic, whose formulas describe properties of points in the plane and spatial relationships between them. Points are labelled by proposition letters and spatial relations are induced by the four cone-shaped cardinal directions. Cone Logic can be seen as a weakening of Venema's Compass Logic. We prove that, unlike Compass Logic and other projection-based spatial logics, its satisfiability problem is decidable (precisely, PSPACE-complete). We also show that it is expressive enough to capture meaningful interval temporal logics - in particular, the interval temporal logic of Allen's relations "Begins", "During", and "Later", and their transposes.
DOI
10.2168/LMCS-11(4:7)2015
WOS
WOS:000373922900007
Archivio
http://hdl.handle.net/11390/1174176
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84957927308
http://arxiv.org/pdf/1510.03319.pdf
Diritti
open access
Soggetti
  • Compass logic

  • Cone logic

  • Interval temporal log...

Web of Science© citazioni
7
Data di acquisizione
Mar 22, 2024
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback