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 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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.3166/jancl.17.39-61
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,536
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Logic, Semantics, Metamathematics.Alfred Tarski - 1956 - Oxford, Clarendon Press.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Modal Logic.Alexander Chagrov - 1997 - Oxford University Press.
Multi-Dimensional Modal Logic.Maarten Marx - 1997 - Kluwer Academic Publishers.

View all 15 references / Add more references

Citations of this work BETA

A System of Relational Syllogistic Incorporating Full Boolean Reasoning.Nikolay Ivanov & Dimiter Vakarelov - 2012 - Journal of Logic, Language and Information 21 (4):433-459.
Sahlqvist Theorems for Precontact Logics.Philippe Balbiani & Stanislav Kikot - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic. CSLI Publications. pp. 55-70.

Add more citations

Similar books and articles

PDL with Intersection of Programs: A Complete Axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):231-276.
Spheres, Cubes and Simple.Stefano Borgo - 2013 - Logic and Logical Philosophy 22 (3):255-293.
A Hierarchy of Modal Logics with Relative Accessibility Relations.Philippe Balbiani & Ewa Orlowska - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):303-328.
A Universal Logic Approach to Adaptive Logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Dynamic Extensions of Arrow Logic.Philippe Balbiani & Dimiter Vakarelov - 2004 - Annals of Pure and Applied Logic 127 (1-3):1-15.
Region-Based Topology.Peter Roeper - 1997 - Journal of Philosophical Logic 26 (3):251-309.


Added to PP index

Total views
11 ( #781,801 of 2,385,586 )

Recent downloads (6 months)
1 ( #560,835 of 2,385,586 )

How can I increase my downloads?


My notes