The modal logic of continuous functions on Cantor space (Q862352): Difference between revisions

The modal system S4C axiomatizes dynamic topological systems \((X,f)\), where \(X\) is a topological space and \(f:X\to X\) is continuous. The reviewer and \textit{T. Zhang} [Arch. Math. Logic 44, No. 6, 783--799 (2005; Zbl 1103.03021)] proved it to be complete for the Cantor space. The author provides a streamlined version of that proof. Since then a device introduced by S. Slavnov made it possible to simplify the proof drastically. This version is presented in a joint survey paper by the author and the reviewer [in: M. Aiello et al. (eds.), Handbook of spatial logics (to appear)].