Abstract
The goal of this article is to bring together the frameworks of model-update semantics for (propositional) public-announcement logic [9] and of sheaf semantics for first-order modal logic [2,10,14], and to thereby obtain a sheaf semantics for first-order public-announcement logic. The first attempt to extend dynamic epistemic logics to the first order was made by Kooi [15], who introduced terms to refer to epistemic agents, and an extension of public-announcement logic to the first order was briefly given by Ma [18]; both of these extensions used constant domains for interpreting first-order vocabulary. (A first-order extension of dynamic logic was given in [12,13], also with constant domains.) This article pushes ahead with these extensions by employing a sheaf structure, providing a progress toward a more flexible and useful treatment of first-order notions.
This is a preview of subscription content, log in via an institution to check access.
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
Arló-Costa, H., Pacuit, E.: First-Order Classical Modal Logic. Studia Logica 84, 171–210 (2006)
Awodey, S., Kishida, K.: Topology and Modality: The Topological Interpretation of First-Order Modal Logic. Review of Symbolic Logic 1, 146–166 (2008)
Baltag, A., van Ditmarsch, H.P., Moss, L.S.: Epistemic Logic and Information Update. In: Adriaans, P., van Benthem, J. (eds.) Philosophy of Information, pp. 361–455. Elsevier, Amsterdam (2008)
van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge (2011)
van Benthem, J., Pacuit, E.: Dynamic Logics of Evidence-Based Beliefs. Studia Logica 99, 61–92 (2011)
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
Dabrowski, A., Moss, L.S., Parikh, R.: Topological Reasoning and the Logic of Knowledge. Annals of Pure and Applied Logic 78, 73–110 (1996)
Demey, L.: Towards a Dynamics of Realistic Knowledge: Neighborhood Semantics for Public Announcement Logic. Paper read at Fourth Conference of the Dutch-Flemish Association for Analytic Philosophy, Leuven, Belgium, January 21 (2010)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic-Epistemic Logic. Springer, Dordrecht (2008)
Gabbay, D.M., Shehtman, V., Skvortsov, D.: Quantification in Nonclassical Logic, vol. 1. Elsevier, Burlington (2009)
Hansen, H.V.: Monotonic Modal Logics, Master’s thesis, University of Amsterdam (2003)
Harel, H.: First-Order Dynamic Logic. Springer, Berlin (1979)
Harel, H., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)
Kishida, K.: Neighborhood-Sheaf Semantics for First-Order Modal Logic. Electronic Notes in Theoretical Computer Science 278, 129–143 (2011)
Kooi, B.: Dynamic Term-Modal Logic. In: van Benthem, J., Ju, S., Veltman, F. (eds.) A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, pp. 173–185. College Publications, London (2007)
Kripke, S.: Semantical Considerations on Modal Logic. Acta Philosophica Fennica 16, 83–94 (1963); reprinted in Linsky, L. (ed.) Reference and Modality, pp. 63–72. Oxford University Press, London (1971)
Lewis, D.: Counterpart Theory and Quantified Modal Logic. Journal of Philosophy 65, 113–126 (1968); reprinted with postscripts in his Philosophical Papers, vol. I, pp. 26–46. Oxford University Press, New York (1983)
Ma, M.: Mathematics of Public Announcements. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS, vol. 6953, pp. 193–205. Springer, Heidelberg (2011)
Zvesper, J.: Playing with Information, Ph.D. Dissertation, University of Amsterdam (2010)
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
Kishida, K. (2013). Public Announcements under Sheaves. In: Motomura, Y., Butler, A., Bekki, D. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2012. Lecture Notes in Computer Science(), vol 7856. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39931-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-39931-2_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39930-5
Online ISBN: 978-3-642-39931-2
eBook Packages: Computer ScienceComputer Science (R0)