×

Modal languages for topology: expressivity and definability. (English) Zbl 1172.03013

The topological language \(\mathcal{L}_t\) [J. Flum and M. Ziegler, Topological model theory. Lecture Notes in Mathematics. 769. Berlin-Heidelberg-New York: Springer-Verlag (1980; Zbl 0421.03024)] has variables \(x,y,\ldots\) for points and \(U,V,\dots\) for open sets of a topological space. Predicate symbols \(P_p\) correspond to propositional variables \(p\). Quantifiers for sets are allowed only in combinations \(\forall U(x\in U\rightarrow\alpha)\) when \(\alpha\) is positive in \(U\). The authors prove two characterization theorems.
Theorem. A formula \(\phi(x)\) of \({\mathcal L}_t\) is equivalent to a standard translation of a propositional formula iff it is invariant under topo-bisimulations.
Theorem. A class \(K\) of topological spaces definable in \({\mathcal L}_t\) is definable in the basic modal language iff \(K\) is closed under topological sums, open subspaces and images of interior maps, while the complement of \(K\) is closed under Alexandroff extensions.

MSC:

03B45 Modal logic (including the logic of norms)
54A05 Topological spaces and generalizations (closure spaces, etc.)
03C40 Interpolation, preservation, definability

Citations:

Zbl 0421.03024
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Aiello, M.; van Benthem, J., Logical patterns in space, (Barker-Plummer, D.; Beaver, D.; Benthem, J.; di Luzio, P. S., Words Proofs Diagrams (2002), CSLI Stanford), 5-25 · Zbl 1087.03505
[2] S. Artemov, J. Davoren, A. Nerode, Modal logics and topological semantics for hybrid systems, Tech. Rep. MSI 97-05, Cornell University, 1997; S. Artemov, J. Davoren, A. Nerode, Modal logics and topological semantics for hybrid systems, Tech. Rep. MSI 97-05, Cornell University, 1997
[3] Bezhanishvili, G.; Esakia, L.; Gabelaia, D., Some results on modal axiomatization and definability for topological spaces, Studia Logica, 81, 3, 325-355 (2005) · Zbl 1096.03016
[4] Bezhanishvili, G.; Mines, R.; Morandi, P., Scattered, Hausdorff-reducible, and hereditary irresolvable spaces, Topology and its Applications, 132, 291-306 (2003) · Zbl 1041.54034
[5] Bezhanishvili, G.; Mines, R.; Morandi, P., Topo-canonical completions of closure algebras and heyting algebras, Algebra Universalis, 58, 1, 1-34 (2008) · Zbl 1135.06009
[6] Blackburn, P.; de Rijke, M.; Venema, Y., Modal Logic (2001), Cambridge University Press · Zbl 0988.03006
[7] Blackburn, P.; van Benthem, J., (Blackburn, P.; van Benthem, J.; Wolter, F., Handbook of Modal Logic (2006), Elsevier North-Holland)
[8] W. Blok, Varieties of interior algebras, Ph.D. Thesis, University of Amsterdam, 1976; W. Blok, Varieties of interior algebras, Ph.D. Thesis, University of Amsterdam, 1976
[9] Chagrov, A.; Zakharyaschev, M., Modal Logic, Oxford Logic Guides, vol. 35 (1997), Clarendon Press: Clarendon Press Oxford · Zbl 0871.03007
[10] Chang, C. C.; Keisler, H. J., Model Theory (1989), North Holland: North Holland Amsterdam · Zbl 0697.03022
[11] Engelking, R., General Topology (1977), Polish Scientific Publishers: Polish Scientific Publishers Warszawa
[12] Esakia, L., Diagonal constructions löb’s formula and cantor’s scattered spaces, Logical and Semantical Investigations (1981), Academy Press: Academy Press Tbilisi, (in Russian)
[13] Feng, L.; Masaveu, O., Exactly \(n\)-resolvable spaces and \(\omega \)-resolvability, Mathematica Japonica, 50, 3, 333-339 (1999) · Zbl 0998.54026
[14] Flum, J.; Ziegler, M., Topological Model Theory (1980), Springer-Verlag: Springer-Verlag Berlin · Zbl 0421.03024
[15] D. Gabelaia, Modal definability in topology, Master’s Thesis, University of Amsterdam, 2001; D. Gabelaia, Modal definability in topology, Master’s Thesis, University of Amsterdam, 2001
[16] Garavaglia, S., Model theory of topological structures, Annals of Mathematical Logic, 14, 13-37 (1978) · Zbl 0409.03041
[17] Gargov, G.; Goranko, V., Modal logic with names, Journal of Philosophical Logic, 22, 607-636 (1993) · Zbl 0793.03012
[18] Gehrke, M.; Harding, J.; Venema, Y., Macneille completions and canonical extensions, Transactions of the American Mathematical Society, 358, 573-590 (2006) · Zbl 1083.06009
[19] Goldblatt, R., First-order definability in modal logic, Journal of Symbolic Logic, 40, 1, 35-40 (1975) · Zbl 0311.02029
[20] H.H. Hansen, Monotonic modal logics, Master’s Thesis, ILLC, University of Amsterdam, 2003; H.H. Hansen, Monotonic modal logics, Master’s Thesis, ILLC, University of Amsterdam, 2003
[21] Hansen, H. H.; Kupke, C.; Pacuit, E., Bisimulation for neighborhood structures, (Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science, CALCO 2007. Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science, CALCO 2007, LNCS, vol. 4624 (2007), Springer), 279-293 · Zbl 1172.03314
[22] Konev, B.; Kontchakov, R.; Wolter, F.; Zakharyaschev, M., On dynamic topological and metric logics, Studia Logica, 84, 1, 129-160 (2006) · Zbl 1114.03026
[23] Kremer, P., Propositional quantification in the topological semantics for S4, Notre Dame Journal of Formal Logic, 38, 2, 295-313 (1997) · Zbl 0949.03020
[24] Kremer, P.; Mints, G., Dynamic topological logic, Annals of Pure and Applied Logic, 131, 1-3, 133-158 (2005) · Zbl 1067.03028
[25] Kudinov, A., Topological modal logics with difference modality, (Governatori, I. H.G.; Venema, Y., Advances in Modal Logic, vol. 6 (2006), College Publications: College Publications London), 319-332 · Zbl 1148.03019
[26] Kurz, A.; Rosicky, J., The Goldblatt-Thomason theorem for coalgebras, (Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science, CALCO 2007. Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science, CALCO 2007, LNCS, vol. 4624 (2007), Springer), 342-355 · Zbl 1214.03017
[27] T. Litak, Isomorphism via translation in: Proceedings of AiML 2006, 2006, pp. 333-351; T. Litak, Isomorphism via translation in: Proceedings of AiML 2006, 2006, pp. 333-351 · Zbl 1144.03015
[28] Makowsky, J.; Ziegler, M., Topological model theory with an interior operator: consistency properties and back-and-forth arguments, Archive for Mathematical Logic, 21, 1, 37-54 (1981) · Zbl 0472.03027
[29] Mckinsey, J.; Tarski, A., The algebra of topology, Annals of Mathematics, 45, 141-191 (1944) · Zbl 0060.06206
[30] M. Pauly, Bisimulation for general non-normal modal logic, unpublished manuscript, 1999; M. Pauly, Bisimulation for general non-normal modal logic, unpublished manuscript, 1999
[31] Rasiowa, H.; Sikorski, R., Metamathematics of Mathematics (1963), Polish Scientific Publishers: Polish Scientific Publishers Warszawa · Zbl 0122.24311
[32] Shehtman, V., “Everywhere” and “Here”, Journal of Applied Non-Classical Logic, 9, 369-380 (1999) · Zbl 0993.03020
[33] B. ten Cate, Model theory for extended modal languages, Ph.D. Thesis, University of Amsterdam, iLLC Dissertation Series, DS- 2005-01; B. ten Cate, Model theory for extended modal languages, Ph.D. Thesis, University of Amsterdam, iLLC Dissertation Series, DS- 2005-01
[34] ten Cate, B.; Litak, T., Topological perspective on the hybrid proof rules, Electronic Notes in Theoretical Computer Science, 174, 6, 79-94 (2007) · Zbl 1278.03051
[35] van Benthem, J., Modal formulas are either elementary or not \(\Sigma \Delta \)-elementary, Journal of Symbolic Logic, 41, 2, 436-438 (1976) · Zbl 0337.02015
[36] van Benthem, J.; Bezhanishvili, G.; ten Cate, B.; Sarenac, D., Multimodal logics of products of topologies, Studia Logica, 84, 3, 369-392 (2006) · Zbl 1113.03018
[37] van Benthem, J.; Sarenac, D., The geometry of knowledge, (Béziau, J.-Y.; Leite, A. C.; Facchini, A., Aspects of Universal Logic (2005), University of Neuchâtel), 1-31 · Zbl 1087.03011
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.