Sciweavers

Share
JANCL
2007

Dynamic logics of the region-based theory of discrete spaces

9 years 8 months ago
Dynamic logics of the region-based theory of discrete spaces
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.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelo
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2007
Where JANCL
Authors Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Comments (0)
books