Two decision problems in Contact Logics - Archive ouverte HAL
Article Dans Une Revue Logic Journal of the IGPL Année : 2019

Two decision problems in Contact Logics

Résumé

Contact Logics provide a natural framework for representing and reasoning about regions in several areas of computer science. In this paper, we focus our attention on reasoning methods for Contact Logics and address the satisfiability problem and the unifiability problem. Firstly, we give sound and complete tableaux-based decision procedures in Contact Logics and we obtain new results about the decidability/complexity of the satisfiability problem in these logics. Secondly, we address the computability of the unifiability problem in Contact Logics and we obtain new results about the unification type of the unifiability problem in these logics.
Fichier principal
Vignette du fichier
balbiani_24760.pdf (949.33 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02378372 , version 1 (25-11-2019)

Identifiants

Citer

Philippe Balbiani, Cigdem Gencer, Zafer Özdemir. Two decision problems in Contact Logics. Logic Journal of the IGPL, 2019, 27 (1), pp.8-32. ⟨10.1093/jigpal/jzy016⟩. ⟨hal-02378372⟩
115 Consultations
82 Téléchargements

Altmetric

Partager

More