Abstract
In this paper, a particular extension of the constitutive bi-modal logic for single-agent subset spaces will be provided. That system, which originally was designed for revealing the intrinsic relationship between knowledge and topology, has been developed in several directions in recent years, not least towards a comprehensive knowledge-theoretic formalism. This line is followed here to the extent that subset spaces are supplied with a finite number of functions which shall represent certain knowledge-enabling actions. Due to the corresponding functional modalities, another basic system for subset spaces, topological nexttime logic, comes into play. The resulting merge of logics can, for example, be applied to comparing the different effects of those actions in respect of knowledge. Subsequently, the completeness and the decidabilty of the basic combined system and of a certain extension thereof will be proved.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Aiello, M., I. E. Pratt-Hartmann, and J. F. A. K. van Benthem, Handbook of Spatial Logics, Springer, Dordrecht, 2007.
Balbiani, P., H. van Ditmarsch, and A. Kudinov, Subset space logic with arbitrary announcements, in K. Lodaya, (ed.), Logic and Its Applications, ICLA 2013, vol. 7750 of Lecture Notes in Computer Science, Springer, Heidelberg, 2013, pp. 233–244.
Baltag, A., A. Özgün, and A. L. Vargas Sandoval, Topo-logic as a dynamic-epistemic logic, in A. Baltag, J. Seligman, and T. Yamada, (eds.), Logic, Rationality, and Interaction. LORI 2017, vol. 10455 of Lecture Notes in Computer Science, Springer, Heidelberg, 2017, pp. 330–346.
Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 2001.
Dabrowski, A., L. S. Moss, and R. Parikh, Topological reasoning and the logic of knowledge, Annals of Pure and Applied Logic 78: 73–110, 1996.
Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge, MIT Press, Cambridge, MA, 1995.
Georgatos, K., Modal Logics of Topological Spaces, Ph.D. thesis, City University of New York, 1993.
Goldblatt, R., 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, B., 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, B., A modal logic for discretely descending chains of sets, Studia Logica 76(1): 67–90, 2004.
Heinemann, B., Logics for multi-subset spaces, Journal of Applied Non-Classical Logics 20(3): 219–240, 2010.
Heinemann, B., Augmenting subset spaces to cope with multi-agent knowledge, in S. Artemov, and A. Nerode, (eds.), Logical Foundations of Computer Science, LFCS 2016, vol. 9537 of Lecture Notes in Computer Science, Springer, 2016, pp. 130–145.
Heinemann, B., Topological facets of the logic of subset spaces (with emphasis on canonical models), Journal of Logic and Computation 29(7): 1099–1120, 2019.
Hertling, P., and G. Krommes, EXPSPACE-completeness of the logics K4\(\times \)S5 and S4\(\times \)S5 and the logic of subset spaces, Part 1: ESPACE-algorithms, Tech. rep., Cornell University, 2019. URL arXiv:1908.03501.
Hertling, P., and G. Krommes, EXPSPACE-completeness of the logics K4\(\times \)S5 and S4\(\times \)S5 and the logic of subset spaces, Part 2: EXPSPACE-hardness, Tech. rep., Cornell University, 2019. URL arXiv:1908.03509.
Krommes, G., A new proof of decidability for the modal logic of subset spaces, in B. ten Cate, (ed.), Proceedings of the Eighth ESSLLI Student Session, Vienna, Austria, 2003, pp. 137–147.
Lomuscio, A., and M. Ryan, Ideal agents sharing (some!) knowledge, in H. Prade, (ed.), ECAI 98. 13th European Conference on Artificial Intelligence, John Wiley & Sons, Ltd., Chichester, 1998, pp. 557–561.
Meyer, J.-J. Ch., and W. van der Hoek, Epistemic Logic for AI and Computer Science, vol. 41 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 1995.
Moss, L. S., and R. 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, H., S. Knight, and A. Özgün, Announcement as effort on topological spaces, Electronic Proceedings in Theoretical Computer Science, 215, 2016, pp. 283–297.
Wáng, Y. N., and T. Ågotnes, Multi-agent subset space logic, in Proceeding 23rd IJCAI, AAAI, 2013, pp. 1155–1161.
Wáng, Y. N., and T. Ågotnes, Subset space public announcement logic, in K. Lodaya, (ed.), Logic and Its Applications, ICLA 2013, vol. 7750 of Lecture Notes in Computer Science, Springer, Heidelberg, 2013, pp. 245–257.
Acknowledgements
I would like to thank the anonymous referees of both this paper and a preliminary version of it very much for their valuable comments and improvement suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Yde Venema
Rights and permissions
About this article
Cite this article
Heinemann, B. Reusing Topological Nexttime Logic. Stud Logica 108, 1207–1234 (2020). https://doi.org/10.1007/s11225-019-09894-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-019-09894-x