Abstract
Correspondence theory regarding the bimodal language for subset spaces can be based on a certain pseudo-monadic second-order language arising from the relevant semantics. Since the latter language is reducible to a two-sorted language of first-order predicate logic, one can apply well-established model-theoretic techniques to studying expressivity issues. In this way, a subset space analogue to a popular definability result of ordinary modal logic is proved first in this paper. On the other hand, subset spaces can easily be related to usual Kripke models, for which we have a (one-sorted) relational first-order correspondence language. Both of the concurrent correspondents are then used in the main part of the paper, where, among other things, some Goldblatt-Thomason style results as related to subset frames are proved.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aiello, M., van Benthem, J., Bezhanishvili, G.: Reasoning about space: The modal way. Journal of Logic and Computation 13(6), 889–920 (2003)
Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F.A.K.: Handbook of Spatial Logics. Springer (2007)
Başkent, C.: Topics in Subset Space Logic. Master’s thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam (July 2007)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)
ten Cate, B., Gabelaia, D., Sustretov, D.: Modal languages for topology: Expressivity and definability. Annals of Pure and Applied Logic 159, 146–170 (2009)
Chang, C.C., Keisler, H.J.: Model Theory, 3rd edn. Studies in Logic and the Foundations of Mathematics, vol. 73. North-Holland, Amsterdam (1990)
Dabrowski, A., Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. Annals of Pure and Applied Logic 78, 73–110 (1996)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Flum, J., Ziegler, M.: Topological Model Theory. Lecture Notes in Mathematics, vol. 769. Springer, Berlin (1980)
Georgatos, K.: Modal Logics of Topological Spaces. Ph.D. thesis, City University of New York (May 1993)
Georgatos, K.: Updating knowledge using subsets. Journal of Applied Non-Classical Logics 21(3-4), 427–441 (2011)
Heinemann, B.: A hybrid logic for reasoning about knowledge and topology. Journal of Logic, Language and Information 17(1), 19–41 (2008)
Heinemann, B.: ‘Topologic’ can be more expressive. In: Proc. 8th Panhellenic Logic Symposium, Ioannina, Greece, pp. 58–62 (2011)
Heinemann, B.: Characterizing Certain Topological Specifications. In: Hirsch, E.A., Karhumäki, J., Lepistö, A., Prilutskii, M. (eds.) CSR 2012. LNCS, vol. 7353, pp. 184–195. Springer, Heidelberg (2012)
Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. In: Moses, Y. (ed.) Theoretical Aspects of Reasoning about Knowledge (TARK 1992), pp. 95–105. Morgan Kaufmann, Los Altos (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heinemann, B. (2013). Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference. In: Artemov, S., Nerode, A. (eds) Logical Foundations of Computer Science. LFCS 2013. Lecture Notes in Computer Science, vol 7734. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35722-0_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-35722-0_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35721-3
Online ISBN: 978-3-642-35722-0
eBook Packages: Computer ScienceComputer Science (R0)