{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:06:28Z","timestamp":1762459588114,"version":"3.37.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319735788"},{"type":"electronic","value":"9783319735795"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-73579-5_6","type":"book-chapter","created":{"date-parts":[[2018,1,2]],"date-time":"2018-01-02T02:32:44Z","timestamp":1514860364000},"page":"82-97","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic Epistemic Logics of Introspection"],"prefix":"10.1007","author":[{"given":"Raul","family":"Fervari","sequence":"first","affiliation":[]},{"given":"Fernando R.","family":"Vel\u00e1zquez-Quesada","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,1,3]]},"reference":[{"key":"6_CR1","volume-title":"Knowledge and Belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)"},{"issue":"1","key":"6_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11098-005-4068-5","volume":"128","author":"VF Hendricks","year":"2006","unstructured":"Hendricks, V.F.: 8 bridges between formal and mainstream epistemology. Philos. Stud. 128(1), 1\u20135 (2006)","journal-title":"Philos. Stud."},{"key":"6_CR3","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.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"key":"6_CR4","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-9906-9","volume-title":"Explaining Games: The Epistemic Programme in Game Theory","author":"B Bruin de","year":"2010","unstructured":"de Bruin, B.: Explaining Games: The Epistemic Programme in Game Theory. Synthese Library, vol. 346. Springer, Dordrecht (2010). https:\/\/doi.org\/10.1007\/978-1-4020-9906-9"},{"issue":"2","key":"6_CR5","first-page":"169","volume":"23","author":"H Ditmarsch van","year":"2014","unstructured":"van Ditmarsch, H., French, T.: Semantics for knowledge and change of awareness. J. Logic Lang. Inf. 23(2), 169\u2013195 (2014)","journal-title":"J. Logic Lang. Inf."},{"issue":"12","key":"6_CR6","doi-asserted-by":"crossref","first-page":"4071","DOI":"10.1007\/s11229-015-0733-1","volume":"192","author":"D Grossi","year":"2015","unstructured":"Grossi, D., Vel\u00e1zquez-Quesada, F.R.: Syntactic awareness in logical dynamics. Synthese 192(12), 4071\u20134105 (2015)","journal-title":"Synthese"},{"issue":"1","key":"6_CR7","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","volume":"99","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Stud. Logica 99(1), 61\u201392 (2011)","journal-title":"Stud. Logica"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-642-40948-6_19","volume-title":"Logic, Rationality, and Interaction","author":"FR Vel\u00e1zquez-Quesada","year":"2013","unstructured":"Vel\u00e1zquez-Quesada, F.R.: Explicit and implicit knowledge in neighbourhood models. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI 2013. LNCS, vol. 8196, pp. 239\u2013252. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40948-6_19"},{"key":"6_CR9","unstructured":"Balbiani, P., Fern\u00e1ndez-Duque, D., Lorini, E.: A logical theory of belief dynamics for resource-bounded agents. In: Jonker, C.M., Marsella, S., Thangarajah, J., Tuyls, K. (eds.) Proceedings AAMAS 2016, pp. 644\u2013652. ACM (2016)"},{"key":"6_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Dordrecht (2008). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"key":"6_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information and Interaction","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J.: Logical Dynamics of Information and Interaction. CUP, New York (2011)"},{"issue":"2","key":"6_CR12","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J Benthem van","year":"2007","unstructured":"van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-Class. Logics 17(2), 129\u2013155 (2007)","journal-title":"J. Appl. Non-Class. Logics"},{"issue":"2","key":"6_CR13","doi-asserted-by":"crossref","first-page":"157","DOI":"10.3166\/jancl.17.157-182","volume":"17","author":"J Benthem van","year":"2007","unstructured":"van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. J. Appl. Non-Class. Logics 17(2), 157\u2013182 (2007)","journal-title":"J. Appl. Non-Class. Logics"},{"key":"6_CR14","unstructured":"Ghosh, S., Vel\u00e1zquez-Quesada, F.R.: Agreeing to agree: reaching unanimity via preference dynamics based on reliable agents. In: Weiss, G., Yolum, P., Bordini, R.H., Elkind, E. (eds.) Proceedings AAMAS 2015, pp. 1491\u20131499. ACM (2015)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-662-48561-3_11","volume-title":"Logic, Rationality, and Interaction","author":"S Ghosh","year":"2015","unstructured":"Ghosh, S., Vel\u00e1zquez-Quesada, F.R.: A note on reliability-based preference dynamics. In: van der Hoek, W., Holliday, W.H., Wang, W. (eds.) LORI 2015. LNCS, vol. 9394, pp. 129\u2013142. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-48561-3_11"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/978-3-540-24727-2_32","volume-title":"Foundations of Software Science and Computation Structures","author":"R Pucella","year":"2004","unstructured":"Pucella, R., Weissman, V.: Reasoning about dynamic policies. In: Walukiewicz, I. (ed.) FoSSaCS 2004. LNCS, vol. 2987, pp. 453\u2013467. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24727-2_32"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/978-3-540-74915-8_28","volume-title":"Computer Science Logic","author":"S G\u00f6ller","year":"2007","unstructured":"G\u00f6ller, S.: On the complexity of reasoning about dynamic policies. In: Duparc, J., Henzinger, T.A. (eds.) CSL 2007. LNCS, vol. 4646, pp. 358\u2013373. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74915-8_28"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-540-32254-2_16","volume-title":"Mechanizing Mathematical Reasoning","author":"J Benthem","year":"2005","unstructured":"Benthem, J.: An essay on sabotage and obstruction. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 268\u2013276. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-32254-2_16"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-32621-9_11","volume-title":"Logic, Language, Information and Computation","author":"C Areces","year":"2012","unstructured":"Areces, C., Fervari, R., Hoffmann, G.: Moving arrows and four model checking results. In: Ong, L., de Queiroz, R. (eds.) WoLLIC 2012. LNCS, vol. 7456, pp. 142\u2013153. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32621-9_11"},{"issue":"2","key":"6_CR20","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1093\/jigpal\/jzt030","volume":"22","author":"C Areces","year":"2014","unstructured":"Areces, C., Fervari, R., Hoffmann, G.: Swap logic. Logic J. IGPL 22(2), 309\u2013332 (2014)","journal-title":"Logic J. IGPL"},{"key":"6_CR21","unstructured":"Fervari, R.: Relation-Changing Modal Logics. Ph.D. thesis, Facultad de Matem\u00e1tica, Astronom\u00eda y F\u00edsica, Universidad Nacional de C\u00f3rdoba, Argentina (2014)"},{"issue":"4","key":"6_CR22","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1093\/jigpal\/jzv020","volume":"23","author":"C Areces","year":"2015","unstructured":"Areces, C., Fervari, R., Hoffmann, G.: Relation-changing modal operators. Logic J. IGPL 23(4), 601\u2013627 (2015)","journal-title":"Logic J. IGPL"},{"key":"6_CR23","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1017\/S1755020311000189","volume":"4","author":"B Kooi","year":"2011","unstructured":"Kooi, B., Renne, B.: Arrow update logic. Rev. Symb. Logic 4, 536\u2013559 (2011)","journal-title":"Rev. Symb. Logic"},{"key":"6_CR24","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"BF Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"6_CR25","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal logic. CUP, New York (2001)"},{"key":"6_CR26","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-69937-8_13","volume-title":"Logic, Language, Information and Computation","author":"J Eijck van","year":"2008","unstructured":"van Eijck, J., Wang, Y.: Propositional dynamic logic as a logic of belief revision. In: Hodges, W., de Queiroz, R. (eds.) WoLLIC 2008. LNCS (LNAI), vol. 5110, pp. 136\u2013148. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69937-8_13"},{"key":"6_CR28","volume-title":"Time and Modality","author":"AN Prior","year":"1957","unstructured":"Prior, A.N.: Time and Modality. Clarendon Press, Oxford (1957)"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/3-540-08921-7_88","volume-title":"Mathematical Foundations of Computer Science 1978","author":"R Parikh","year":"1978","unstructured":"Parikh, R.: The completeness of propositional dynamic logic. In: Winkowski, J. (ed.) MFCS 1978. LNCS, vol. 64, pp. 403\u2013415. Springer, Heidelberg (1978). https:\/\/doi.org\/10.1007\/3-540-08921-7_88"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Holliday, W., Icard, T.: Moorean phenomena in epistemic logic. In: Beklemishev, L., Goranko, V., Shehtman, V. (eds.) Advances in Modal Logic, College Publications, pp. 178\u2013199 (2010)","DOI":"10.1017\/UPO9781844654536.014"},{"key":"6_CR31","unstructured":"Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings 4th International Symposium on Methodologies for Intelligent Systems, Oak Ridge National Laboratory, pp. 201\u2013216 (1989)"},{"issue":"11","key":"6_CR32","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J Benthem van","year":"2006","unstructured":"van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Inf. Comput. 204(11), 1620\u20131662 (2006)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Dynamic Logic. New Trends and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73579-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,30]],"date-time":"2024-06-30T06:35:34Z","timestamp":1719729334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73579-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319735788","9783319735795"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73579-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}