{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T22:25:25Z","timestamp":1747866325261,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642399305"},{"type":"electronic","value":"9783642399312"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39931-2_8","type":"book-chapter","created":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T02:26:28Z","timestamp":1374200788000},"page":"96-108","source":"Crossref","is-referenced-by-count":3,"title":["Public Announcements under Sheaves"],"prefix":"10.1007","author":[{"given":"Kohei","family":"Kishida","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s11225-006-9010-0","volume":"84","author":"H. Arl\u00f3-Costa","year":"2006","unstructured":"Arl\u00f3-Costa, H., Pacuit, E.: First-Order Classical Modal Logic. Studia Logica\u00a084, 171\u2013210 (2006)","journal-title":"Studia Logica"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1017\/S1755020308080143","volume":"1","author":"S. Awodey","year":"2008","unstructured":"Awodey, S., Kishida, K.: Topology and Modality: The Topological Interpretation of First-Order Modal Logic. Review of Symbolic Logic\u00a01, 146\u2013166 (2008)","journal-title":"Review of Symbolic Logic"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/B978-0-444-51726-5.50015-7","volume-title":"Philosophy of Information","author":"A. Baltag","year":"2008","unstructured":"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\u2013455. Elsevier, Amsterdam (2008)"},{"key":"8_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information and Interaction","author":"J. van Benthem","year":"2011","unstructured":"van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge (2011)"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","volume":"99","author":"J. van Benthem","year":"2011","unstructured":"van Benthem, J., Pacuit, E.: Dynamic Logics of Evidence-Based Beliefs. Studia Logica\u00a099, 61\u201392 (2011)","journal-title":"Studia Logica"},{"key":"8_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0168-0072(95)00016-X","volume":"78","author":"A. Dabrowski","year":"1996","unstructured":"Dabrowski, A., Moss, L.S., Parikh, R.: Topological Reasoning and the Logic of Knowledge. Annals of Pure and Applied Logic\u00a078, 73\u2013110 (1996)","journal-title":"Annals of Pure and Applied Logic"},{"key":"8_CR8","unstructured":"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)"},{"key":"8_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic-Epistemic Logic","author":"H. van Ditmarsch","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic-Epistemic Logic. Springer, Dordrecht (2008)"},{"key":"8_CR10","volume-title":"Quantification in Nonclassical Logic","author":"D.M. Gabbay","year":"2009","unstructured":"Gabbay, D.M., Shehtman, V., Skvortsov, D.: Quantification in Nonclassical Logic, vol.\u00a01. Elsevier, Burlington (2009)"},{"key":"8_CR11","unstructured":"Hansen, H.V.: Monotonic Modal Logics, Master\u2019s thesis, University of Amsterdam (2003)"},{"key":"8_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-09237-4","volume-title":"First-Order Dynamic Logic","author":"H. Harel","year":"1979","unstructured":"Harel, H.: First-Order Dynamic Logic. Springer, Berlin (1979)"},{"key":"8_CR13","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"H. Harel","year":"2000","unstructured":"Harel, H., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.entcs.2011.10.011","volume":"278","author":"K. Kishida","year":"2011","unstructured":"Kishida, K.: Neighborhood-Sheaf Semantics for First-Order Modal Logic. Electronic Notes in Theoretical Computer Science\u00a0278, 129\u2013143 (2011)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"8_CR15","first-page":"173","volume-title":"A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction","author":"B. Kooi","year":"2007","unstructured":"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\u2013185. College Publications, London (2007)"},{"key":"#cr-split#-8_CR16.1","unstructured":"Kripke, S.: Semantical Considerations on Modal Logic. Acta Philosophica Fennica\u00a016, 83-94 (1963)"},{"key":"#cr-split#-8_CR16.2","unstructured":"reprinted in Linsky, L. (ed.) Reference and Modality, pp. 63-72. Oxford University Press, London (1971)"},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"113","DOI":"10.2307\/2024555","volume":"65","author":"D. Lewis","year":"1968","unstructured":"Lewis, D.: Counterpart Theory and Quantified Modal Logic. Journal of Philosophy 65, 113\u2013126 (1968); reprinted with postscripts in his Philosophical Papers, vol. I, pp. 26\u201346. Oxford University Press, New York (1983)","journal-title":"Journal of Philosophy"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-24130-7_14","volume-title":"Logic, Rationality, and Interaction","author":"M. Ma","year":"2011","unstructured":"Ma, M.: Mathematics of Public Announcements. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS, vol.\u00a06953, pp. 193\u2013205. Springer, Heidelberg (2011)"},{"key":"8_CR19","unstructured":"Zvesper, J.: Playing with Information, Ph.D. Dissertation, University of Amsterdam (2010)"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39931-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,27]],"date-time":"2021-07-27T14:06:04Z","timestamp":1627394764000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39931-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399305","9783642399312"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39931-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}