The modal logic of continuous functions on the rational numbers
- 46 Downloads
- 2 Citations
Abstract
Let \({{\mathcal L}^{\square\circ}}\) be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality □ and a temporal modality ◦, understood as ‘next’. We extend the topological semantic for S4 to a semantics for the language \({{\mathcal L}^{\square\circ}}\) by interpreting \({{\mathcal L}^{\square\circ}}\) in dynamic topological systems, i.e., ordered pairs 〈X, f〉, where X is a topological space and f is a continuous function on X. Artemov, Davoren and Nerode have axiomatized a logic S4C, and have shown that S4C is sound and complete for this semantics. S4C is also complete for continuous functions on Cantor space (Mints and Zhang, Kremer), and on the real plane (Fernández Duque); but incomplete for continuous functions on the real line (Kremer and Mints, Slavnov). Here we show that S4C is complete for continuous functions on the rational numbers.
Keywords
Modal logic Temporal logic TopologyMathematics Subject Classification (2000)
03B45Preview
Unable to display preview. Download preview PDF.
References
- 1.Artemov, S., Davoren, J., Nerode, A.: Modal logics and topological semantics for hybrid systems. Technical Report MSI 97-05, Cornell University, June 1997. http://web.cs.gc.cuny.edu/~sartemov/publications/CDC1997-00650716.pdf (1997)
- 2.Davoren, J.: Modal logics for continuous dynamics. PhD thesis, Cornell University (1998)Google Scholar
- 3.Fernández Duque, D.: Dynamic topological completeness for \({\mathbb{R}^2}\). Log. J. IGPL 15, 77–107. http://jigpal.oxfordjournals.org/cgi/content/abstract/15/1/77?ck=nck (2007)
- 4.Kremer, P.: The modal logic of continuous functions on Cantor space. Arch. Math. Log. 45, 1021–1032. http://www.springerlink.com/content/j4t381201247t561/ (2006)Google Scholar
- 5.Kremer, P., Mints, G.: Dynamic topological logic. Ann. Pure Appl. Log. 131, 133–158. http://dx.doi.org/10.1016/j.apal.2004.06.004 (2005)
- 6.Kremer P., Mints G.: Dynamic topological logic. In: Aiello, M., Pratt-Harman, I., Benthem, J. (eds) Handbook of Spatial Logics, pp. 565–606. Springer, Berlin (2007)CrossRefGoogle Scholar
- 7.McKinsey, J.C.C.: A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology. J. Symbolic Log. 6, 117–134. http://links.jstor.org/sici?sici=0022-4812%28194112%296%3A4%3C117%3AASOTDP%3E2.0.CO%3B2-E (1941)
- 8.McKinsey, J.C.C., Tarski, A.: The algebra of topology. Ann. Math. 45, 141–191. http://links.jstor.org/sici?sici=0003-486X%28194401%292%3A45%3A1%3C141%3ATAOT%3E2.0.CO%3B2-S (1944)Google Scholar
- 9.Mints G., Zhang, T.: Propositional logic of continuous transformations in Cantor space. Arch. Math. Log. 44, 783–799. http://www.springerlink.com/content/w020405973p62434/ (2005)Google Scholar
- 10.Slavnov, S.: Two counterexamples in the logic of dynamic topological systems. Technical Report TR-2003015, Cornell University (2003)Google Scholar
- 11.Van Benthem, J., Bezhanishvili, G., Ten Cate, B., Sarenac, D.: Multimodal logics of products of topologies. Studia Logica 84, 369–392. http://www.springerlink.com/content/247h10x473883235/ A preprint of this paper, under the title “Modal logics for products of topologies”, can be found here: http://www.illc.uva.nl/Publications/ResearchReports/PP-2004-15.text.pdf (2006)