We study the topological μ-calculus, based on both Cantor derivative and closure
modalities, proving completeness, decidability, and finite model property over general …

In this paper we present a topological epistemic logic, with modalities for knowledge
(modeled as the universal modality), knowability (represented by the topological interior …

There has been renewed interest in recent years in McKinsey and Tarski's interpretation of
modal logic in topological spaces and their proof that S4 is the logic of any separable dense …

Dynamic Topological Logic () is a multimodal system for reasoning about dynamical
systems. It is defined semantically and, as such, most of the work done in the field has been …

Boudou and the authors have recently introduced the intuitionistic temporal logic $\sf ITL^ e
$ and shown it to be decidable. In this article we show that thehenceforth'-free fragment of …

The language of linear temporal logic can be interpreted on the class of dynamic topological
systems, giving rise to the intuitionistic temporal logic, recently shown to be decidable by …

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 …

Topological semantics for modal logic based on the Cantor derivative operator gives rise to
derivative logics, also referred to as d-logics. Unlike logics based on the topological closure …

Dynamical systems are abstract models of interaction between space and time. They are
often used in fields such as physics and engineering to understand complex processes, but …

Dynamic topological logic (DTL) is a polymodal logic designed for reasoning about dynamic
topological systems. These are pairs〈 X, f∟, where X is a topological space and f: X→ X is …