{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T02:40:21Z","timestamp":1740451221588,"version":"3.37.3"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"S1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1007\/s11229-010-9768-5","type":"journal-article","created":{"date-parts":[[2010,8,26]],"date-time":"2010-08-26T08:13:30Z","timestamp":1282810410000},"page":"29-49","source":"Crossref","is-referenced-by-count":1,"title":["Dynamic logics of knowledge and access"],"prefix":"10.1007","volume":"177","author":[{"given":"Tomohiro","family":"Hoshi","sequence":"first","affiliation":[]},{"given":"Eric","family":"Pacuit","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,8,27]]},"reference":[{"issue":"1","key":"9768_CR1","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1093\/logcom\/exl019","volume":"17","author":"T. \u00c5gotnes","year":"2007","unstructured":"\u00c5gotnes T., Alechina N. (2007) The dynamics of syntactic knowledge. Journal of Logic and Computation 17(1): 83\u2013116","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"9768_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S. Artemov","year":"2001","unstructured":"Artemov S. (2001) Explicit provability and constructive semantics. Bulletin for Symbolic Logic 7(1): 1\u201336","journal-title":"Bulletin for Symbolic Logic"},{"issue":"6","key":"9768_CR3","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1093\/logcom\/exi053","volume":"15","author":"S. Artemov","year":"2005","unstructured":"Artemov S., Nogina E. (2005) Introducing justification into epistemic logic. Journal of Logic and Computation 15(6): 1059\u20131073","journal-title":"Journal of Logic and Computation"},{"key":"9768_CR4","doi-asserted-by":"crossref","unstructured":"Balbiani, P., van Ditmarsch, H., & Seban, P. (forthcoming). Reasoning about permitted announcements. Journal of Philosophical Logic.","DOI":"10.1007\/s10992-011-9187-1"},{"key":"9768_CR5","unstructured":"Baltag, A., Moss, L., & Solecki, S. (1998). The logic of common knowledge, public announcements and private suspicions. In I. Gilboa (ed.), Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK 98). (pp. 43\u201356)."},{"key":"9768_CR6","volume-title":"Modal logic","author":"P. Blackburn","year":"2002","unstructured":"Blackburn P., de Rijke M., Venema Y. (2002) Modal logic. Cambridge University Press, Cambridge"},{"key":"9768_CR7","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1007\/BF00883100","volume":"26","author":"R. Eberle","year":"1974","unstructured":"Eberle R. (1974) A logic of believing, knowing and inferring. Synthese 26: 356\u2013382","journal-title":"Synthese"},{"key":"9768_CR8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"Fagin R., Halpern J. (1988) Belief, awareness and limited reasoning. Artificial Intelligence 34: 39\u201376","journal-title":"Artificial Intelligence"},{"key":"9768_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin R., Halpern J., Moses Y., Vardi M. (1995) Reasoning about knowledge. The MIT Press, Boston"},{"key":"9768_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2004.04.009","volume":"132","author":"M. Fitting","year":"2005","unstructured":"Fitting M. (2005) The logic of proofs, semantically. Annals of Pure and Applied Logic 132: 1\u201325","journal-title":"Annals of Pure and Applied Logic"},{"key":"9768_CR11","unstructured":"Gerbrandy, J. (1999). Bisimulations on Planet Kripke. Ph.D. thesis, Institute for Logic, Language and Computation (DS-1999-01)."},{"key":"9768_CR12","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1006\/game.2000.0832","volume":"37","author":"J. Halpern","year":"2001","unstructured":"Halpern J. (2001) Alternative semantics for unawareness. Games and Economic Behavior 37: 321\u2013339","journal-title":"Games and Economic Behavior"},{"key":"9768_CR13","unstructured":"Halpern, J., & Rego, L. (2005). Interactive unawareness revisited. In Proceedings of theoretical aspects of rationality and knowledge (TARK\u201905)."},{"key":"9768_CR14","doi-asserted-by":"crossref","unstructured":"Halpern, J., & Rego, L. (2009). Reasoning about knowledge of Unawareness Revisited. In A. Heifetz (ed.), Proceedings of theoretical aspects of rationality and knowledge (TARK\u201909).","DOI":"10.1145\/1562814.1562838"},{"issue":"2","key":"9768_CR15","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/s10992-009-9110-1","volume":"39","author":"B. Hill","year":"2010","unstructured":"Hill B. (2010) Awareness dynamics. Journal of Philosophical Logic 39(2): 113\u2013137","journal-title":"Journal of Philosophical Logic"},{"key":"9768_CR16","first-page":"655","volume-title":"Handbook of modal logic, vol. 3 of studies in logic","author":"I. Hodkinson","year":"2006","unstructured":"Hodkinson I., Reynolds M. (2006) Temporal logic. In: Blackburn P., van Benthem J., Wolter F. (eds) Handbook of modal logic, vol. 3 of studies in logic. Elsevier, Amsterdam, pp 655\u2013720"},{"key":"9768_CR17","unstructured":"Hoshi, T. (2009). Epistemic dynamics and protocol information. Ph.D. thesis, Stanford University."},{"issue":"2","key":"9768_CR18","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/s11229-009-9552-6","volume":"169","author":"T. Hoshi","year":"2009","unstructured":"Hoshi T., Yap A. (2009) Dynamic epistemic logic with branching temporal structures. Synthese: Knowledge, Rationality, and Action 169(2): 259\u2013281","journal-title":"Synthese: Knowledge, Rationality, and Action"},{"key":"9768_CR19","unstructured":"Icard, T., Pacuit, E., & Shoham, Y. (2010). Joint revision of beliefs and intentions. In F. Lin, U. Sattler, & M. Truszczynski (Eds.), Principles of knowledge representation and reasoning: Proceedings of the twelfth international conference, KR 2010."},{"key":"9768_CR20","unstructured":"Kooi, B., & Pacuit, E. (2010). Logics for rational interaction. In O. Roy, P. Girard, & M. Marion (Eds.), Dynamic formal epistemology."},{"key":"9768_CR21","unstructured":"Pacuit, E. (forthcoming). Logics of informational attitudes and informative actions. Journal of the Indian Council of Philosophy. Available at http:\/\/ai.stanford.edu\/~epacuit\/papers\/india-logknowbel.pdf"},{"key":"9768_CR22","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1023\/A:1025007018583","volume":"12","author":"R. Parikh","year":"2003","unstructured":"Parikh R., Ramanujam R. (2003) A knowledge based semantics of messages. Journal of Logic, Language and Information 12: 453\u2013467","journal-title":"Journal of Logic, Language and Information"},{"key":"9768_CR23","unstructured":"Plaza, J. (1989). Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, & Z. Ras (Eds.), Proceedings, 4th international symposium on methodologies for intelligent systems. (pp. 201\u2013216) (republished as Plaza 2007)."},{"issue":"2","key":"9768_CR24","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J. Plaza","year":"2007","unstructured":"Plaza J. (2007) Logics of public communications. Synthese: Knowledge, Rationality, and Action 158(2): 165\u2013179","journal-title":"Synthese: Knowledge, Rationality, and Action"},{"key":"9768_CR25","unstructured":"Renne, B. (2008). Dynamic epistemic logic with justification. Ph.D. thesis, The City University of New York."},{"key":"9768_CR26","doi-asserted-by":"crossref","unstructured":"Renne, B., Sack, J., & Yap, A. (2009). Dynamic epistemic temporal logic. In X. He, J. Horty, & E. Pacuit (Eds.), Logic, rationality and interaction: Proceedings of LORI 2009, vol LNAI 5834. (pp. 263\u2013277).","DOI":"10.1007\/978-3-642-04893-7_21"},{"key":"9768_CR27","unstructured":"van Benthem, J. (1996). Exploring logical dynamics. CSLI Publications."},{"key":"9768_CR28","first-page":"1","volume":"1","author":"J. Benthem van","year":"2008","unstructured":"van Benthem J. (2008) Merging observation and access in dynamic logic. Studies in Logic 1: 1\u201317","journal-title":"Studies in Logic"},{"key":"9768_CR29","volume-title":"Logical dynamics of information flow","author":"J. Benthem van","year":"2010","unstructured":"van Benthem J. (2010) Logical dynamics of information flow. Cambridge University Press, Cambridge"},{"issue":"5","key":"9768_CR30","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","volume":"38","author":"J. Benthem van","year":"2009","unstructured":"van Benthem J., Gerbrandy J., Hoshi T., Pacuit E. (2009) Merging frameworks for interaction. Journal of Philosophical Logic 38(5): 491\u2013526","journal-title":"Journal of Philosophical Logic"},{"key":"9768_CR31","unstructured":"van Ditmarsch, H., & French, T. (2010). Becoming aware. Manuscript."},{"key":"9768_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic. Synthese library","author":"H. Ditmarsch van","year":"2007","unstructured":"van Ditmarsch H., van der Hoek W., Kooi B. (2007) Dynamic epistemic logic. Synthese library. Springer, New York"},{"issue":"2","key":"9768_CR33","first-page":"283","volume":"169","author":"F. R. Velazquez-Quesada","year":"2009","unstructured":"Velazquez-Quesada F. R. (2009) Inference and update. Synthese (Knowledge, Rationality & Action) 169(2): 283\u2013300","journal-title":"Synthese (Knowledge, Rationality & Action)"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s11229-010-9768-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T01:50:31Z","timestamp":1740448231000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-010-9768-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8,27]]},"references-count":33,"journal-issue":{"issue":"S1","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["9768"],"URL":"https:\/\/doi.org\/10.1007\/s11229-010-9768-5","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2010,8,27]]}}}