Abstract
Logics of space typically involve two sorts of entities, points and sets, and so are amenable for investigation using hybrid modal languages with nominals for both sorts. As Hilbert systems for these logics are quite complicated, Gentzen systems are used in this paper, first for the basic two-dimensional hybrid logic and then for the logic of subset spaces, which needs additional rules. This provides a foothold from which to consider extensions to neighborhood and topological logics, and also application fields such as epistemic and doxastic logics.
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
Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. In: Moses, Y. (ed.) Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK), Monterey, CA, pp. 95–105. Morgan Kaufmann, San Francisco (1992) (preliminary report)
Parikh, R., Moss, L.S., Steinsvold, C.: Topology and epistemic logic. In: Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F. (eds.) Handbook of Spatial Logics, pp. 299–341 (2007)
Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. In: PODC 1984: Proceedings of the third annual ACM symposium on Principles of distributed computing, pp. 50–61. ACM, New York (1984)
Dabrowski, A., Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. Annals of Pure and Applied Logic 78(1-3), 73–110 (1996)
Blackburn, P.: Representation, reasoning, and relational structures: A hybrid logic manifesto. Logic Journal of the IGPL 8(3), 339–365 (2000)
Areces, C.E., ten Cate, B.: Hybrid logics. In: Blackburn, P., van Benthem, J.F.A.K., Wolter, F. (eds.) Handbook of Modal Logics. Elsevier, Amsterdam (2006)
Kudinov, A.: Topological modal logics with difference modality. In: Hodkinson, I., Venema, Y. (eds.) Advances in Modal Logic, AiML 2006, vol. 6. King’s College Publications, London (2006)
Seligman, J.: Internalization: The case of hybrid logics. Journal of Logic and Computation 11(5), 671–689 (2001); Special Issue on Hybrid Logics. Areces, C., Blackburn, P. (eds.)
Blackburn, P.: Internalizing labelled deduction. Journal of Logic and Computation 10(1), 137–168 (2000)
Braüner, T.: Natural deduction for hybrid logics. Journal of Logic and Computation 14(3), 329–353 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, Y.N. (2008). A Two-Dimensional Hybrid Logic of Subset Spaces. In: Ramanujam, R., Sarukkai, S. (eds) Logic and Its Applications. ICLA 2009. Lecture Notes in Computer Science(), vol 5378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-92701-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-92701-3_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-92700-6
Online ISBN: 978-3-540-92701-3
eBook Packages: Computer ScienceComputer Science (R0)