Abstract
We extend Moss and Parikh’s modal logic for subset spaces by adding, among other things, state-valued and set-valued functions. This is done with the aid of some basic concepts from hybrid logic. We prove the soundness and completeness of the derived logics with regard to the class of all correspondingly enriched subset spaces, and show that these logics are decidable.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Aiello, Marco, Ian E. Pratt-Hartmann, and Johan F. A. K. van Benthem, Handbook of Spatial Logics, Springer, 2007.
Baskent, Can, Topics in Subset Space Logic, Master’s thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam, 2007.
Blackburn Patrick , de Maarten Rijke, Yde Venema (2001) Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge
Blackburn, Patrick, Johan van Benthem, and Frank Wolter, Handbook of Modal Logic, vol. 3 of Studies in Logic and Practical Reasoning, Elsevier, 2007.
Dabrowski , Andrew , Moss Lawrence S., Rohit Parikh (1996) ‘Topological reasoning and the logic of knowledge’. Annals of Pure and Applied Logic, 78: 73–110
Goldblatt, Robert, Logics of Time and Computation, vol. 7 of CSLI Lecture Notes, 2nd edn., Center for the Study of Language and Information, Stanford, CA, 1992.
Heinemann, Bernhard, ‘Topological nexttime logic’, in M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, (eds.), Advances in Modal Logic 1, vol. 87 of CSLI Publications, Kluwer, Stanford, CA, 1998, pp. 99–113.
Heinemann, Bernhard, ‘Reasoning about knowledge and continuity’, in R. Goebel, and G. Sutcliffe, (eds.), Proceedings 19th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2006), AAAI Press, Menlo Park, CA, 2006, pp. 37–42.
Heinemann, Bernhard, ‘Reasoning about operations on sets’, in Z. Kobti, and D. Wu, (eds.), Advances in Artificial Intelligence, Canadian AI 2007, vol. 4509 of Lecture Notes in Artificial Intelligence, Springer, Berlin, 2007, pp. 308–319.
Heinemann Parikh, Heinemann Parikh (2008) ‘A hybrid logic for reasoning about knowledge and topology’. Journal of Logic, Language and Information, 17(1): 19–41
Heinemann, Bernhard, ‘Modelling uniformity and control during knowledge acquisition’, in C. Lane, and D. Wilson, (eds.), Proceedings 21th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2008), AAAI Press, Menlo Park, CA, 2008, pp. 65–70.
Heinemann, Bernhard, ‘Observational effort and formally open mappings’, in H. Ono, M. Kanazawa, and R. de Queiroz, (eds.), Logic, Language, Information and Computation, WoLLIC 2009, vol. 5514 of Lecture Notes in Artificial Intelligence, Springer, Berlin, 2009, pp. 197–208.
Moss, Lawrence S., and Rohit Parikh, ‘Topological reasoning and the logic of knowledge’, in Y. Moses, (ed.), Theoretical Aspects of Reasoning about Knowledge (TARK 1992), Morgan Kaufmann, Los Altos, CA, 1992, pp. 95–105.
van Ditmarsch, Hans, Wiebe van der Hoek, and Barteld Kooi, Dynamic Epistemic Logic, vol. 337 of Synthese Library, Springer, 2007.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Heinemann, B. Using Hybrid Logic for Coping with Functions in Subset Spaces. Stud Logica 94, 23–45 (2010). https://doi.org/10.1007/s11225-010-9226-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-010-9226-x