Dynamic logics of the region-based theory of discrete spaces

Journal of Applied Non-Classical Logics 17 (1):39-61 (2007)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,252

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.

Analytics

Added to PP
2013-12-30

Downloads
19 (#758,603)

6 months
3 (#928,914)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

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 - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 55-70.

Add more citations

References found in this work

Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
Process and reality: an essay in cosmology.Alfred North Whitehead - 1929 - New York: Free Press. Edited by David Ray Griffin & Donald W. Sherburne.
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.

View all 17 references / Add more references