Dynamic logics of the region-based theory of discrete spaces - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Article Dans Une Revue Journal of Applied Non-Classical Logics Année : 2007

Dynamic logics of the region-based theory of discrete spaces

Résumé

The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discrete spaces. These modal logics are linguistic restrictions of propositional dynamic logic with the global diamond E. Their formulas are equivalent to Boolean combinations of modal formulas like E(A ∧ ⟨α⟩ B) where A and B are Boolean terms and α is a relational term. Examining what we can say about dynamic models when we use formulas to describe them, we successively address the axiomatization/completeness issue and the decidability/complexity issue of our dynamic logics of the region-based theory of discrete spaces.
Fichier non déposé

Dates et versions

hal-04000453 , version 1 (22-02-2023)

Identifiants

Citer

Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov. Dynamic logics of the region-based theory of discrete spaces. Journal of Applied Non-Classical Logics, 2007, 17 (1), pp.39--61. ⟨10.3166/jancl.17.39-61⟩. ⟨hal-04000453⟩
8 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More