References & Citations
Mathematics > Logic
Title: Succinctness in subsystems of the spatial mu-calculus
(Submitted on 12 Aug 2017)
Abstract: In this paper we systematically explore questions of succinctness in modal logics employed in spatial reasoning. We show that the closure operator, despite being less expressive, is exponentially more succinct than the limit-point operator, and that the $\mu$-calculus is exponentially more succinct than the equally-expressive tangled limit operator. These results hold for any class of spaces containing at least one crowded metric space or containing all spaces based on ordinals below $\omega^\omega$, with the usual limit operator. We also show that these results continue to hold even if we enrich the less succinct language with the universal modality.
Submission history
From: David Fernández-Duque [view email][v1] Sat, 12 Aug 2017 11:43:39 GMT (47kb)
Link back to: arXiv, form interface, contact.