The modal logic of continuous functions on the rational numbers (Q971888): Difference between revisions

Related to the development of hybrid systems, certain bi-modal logics with an S4-ish as well as a functional modality have got some attention in the literature in recent years. These logics extend the well-known topological semantics of modal logic as follows. The operator respecting the S4-laws is interpreted as topological interior, as usual. The other modality, however, models the pre-image under a continuous function on the topological space in question. See \textit{P. Kremer} and \textit{G. Mint}'s Chapter 10 in [M.~Aiello et al.~(eds.), Handbook of spatial logics. Dordrecht: Springer. 565--606 (2007; Zbl 1172.03001)] for an overwiew of Dynamic Topological Logic arising from that. A nice theorem due to McKinsey and Tarski states that not only S4 is the logic of general topological spaces, but of the real line in particular. Quite recently, several results of this kind have been proven for various extensions of S4. The outcome of the present paper fits into this class of results. The author shows that the basic dynamic topological system, S4C, is sound and complete for continuous functions on the rational numbers endowed with the topology induced by that of \(\mathbb R\). This theorem fills a gap in the light of already existing completeness results for S4C.