Propositional logic of continuous transformations in Cantor space (Q2388436)

This is a paper on dynamic topological logic, that is, it uses logical means to study a topological space \(X\) provided with a continuous transformation \(T\) on \(X\). The logical approach consists of a propositional modal logic with two modal operations \(\square\) and \(\bigcirc\): the variables are interpreted as subsets of \(X\), whereas the modal operations are interpreted as the interior (\(\square\)) and the pre-image under \(T\) (\(\bigcirc \)). The paper studies the logic S4C, which includes the axioms for S4, plus the axiom \(\bigcirc \square A \to \square\bigcirc A\) (the Continuity of \(T\)), plus some standard axioms relation \(\bigcirc \) to the classical connectives. This logic is proved to be complete for the Cantor space.