{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T17:34:12Z","timestamp":1784309652926,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642241291","type":"print"},{"value":"9783642241307","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24130-7_6","type":"book-chapter","created":{"date-parts":[[2011,10,6]],"date-time":"2011-10-06T03:08:06Z","timestamp":1317870486000},"page":"87-96","source":"Crossref","is-referenced-by-count":9,"title":["Schematic Validity in Dynamic Epistemic Logic: Decidability"],"prefix":"10.1007","author":[{"given":"Wesley H.","family":"Holliday","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tomohiro","family":"Hoshi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"suffix":"III","given":"Thomas F.","family":"Icard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"43","volume-title":"Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998)","author":"A. Baltag","year":"1998","unstructured":"Baltag, A., Moss, L., Solecki, S.: The Logic of Public Announcements, Common Knowledge and Private Suspicions. In: Gilboa, I. (ed.) Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998), pp. 43\u201356. Morgan Kaufmann, San Francisco (1998)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: One is a Lonely Number: Logic and Communication. In: Chatzidakis, Z., Koepke, P., Pohlers, W. (eds.) Logic Colloquium 2002, pp. 96\u2013129. ASL & A.K. Peters (2006)","DOI":"10.1017\/9781316755723.006"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/0-387-31072-X_3","volume-title":"Mathematical Problems from Applied Logic I","author":"J. Benthem van","year":"2006","unstructured":"van Benthem, J.: Open Problems in Logical Dynamics. In: Gabbay, D., Goncharov, S., Zakharyashev, M. (eds.) Mathematical Problems from Applied Logic I, pp. 137\u2013192. Springer, Heidelberg (2006)"},{"issue":"11","key":"6_CR4","doi-asserted-by":"publisher","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.J.: Logics of communication and change. Information and Computation\u00a0204(11), 1620\u20131662 (2006)","journal-title":"Information and Computation"},{"key":"6_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1305\/ndjfl\/1093635417","volume":"31","author":"S.R. Buss","year":"1990","unstructured":"Buss, S.R.: The modal logic of pure provability. Notre Dame Journal of Formal Logic\u00a031(2), 225\u2013231 (1990)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1023\/A:1026168632319","volume":"75","author":"H. Ditmarsch van","year":"2003","unstructured":"van Ditmarsch, H.: The Russian cards problem. Studia Logica\u00a075, 31\u201362 (2003)","journal-title":"Studia Logica"},{"key":"6_CR8","doi-asserted-by":"crossref","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, Heidelberg (2008)"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s11229-005-3384-9","volume":"151","author":"H. Ditmarsch van","year":"2006","unstructured":"van Ditmarsch, H., Kooi, B.: The Secret of My Success. Synthese\u00a0151, 201\u2013232 (2006)","journal-title":"Synthese"},{"issue":"2","key":"6_CR10","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J. Gerbrandy","year":"1997","unstructured":"Gerbrandy, J., Groenevelt, W.: Reasoning about Information Change. Journal of Logic, Language and Information\u00a06(2), 147\u2013169 (1997)","journal-title":"Journal of Logic, Language and Information"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/BF00257382","volume":"25","author":"J.Y. Halpern","year":"1996","unstructured":"Halpern, J.Y.: Should Knowledge Entail Belief? Journal of Philosophical Logic\u00a025, 483\u2013494 (1996)","journal-title":"Journal of Philosophical Logic"},{"key":"6_CR12","unstructured":"Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Ithica (1962)"},{"key":"6_CR13","unstructured":"Holliday, W.H.: Hintikka\u2019s Anti-Performatory Effect and Fitch\u2019s Paradox of Knowability (2011) (manuscript)"},{"key":"6_CR14","unstructured":"Holliday, W.H., Hoshi, T., Icard, T.F.: A Uniform Logic of Information Update (2011) (manuscript)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Holliday, W.H., Icard III, T.F.: Moorean Phenomena in Epistemic Logic. In: Beklemishev, L., Goranko, V., Shehtman, V. (eds.) Advances in Modal Logic, vol.\u00a08, pp. 178\u2013199. College Publications (2010)","DOI":"10.1017\/UPO9781844654536.014"},{"issue":"2","key":"6_CR16","doi-asserted-by":"publisher","first-page":"231","DOI":"10.3166\/jancl.17.231-253","volume":"17","author":"B. Kooi","year":"2007","unstructured":"Kooi, B.: Expressivity and completeness for public update logics via reduction axioms. Journal of Applied Non-Classical Logics\u00a017(2), 231\u2013253 (2007)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"6_CR17","unstructured":"Plaza, J.: Logics of public communications. In: Emrich, M., Pfeifer, M., Hadzikadic, M., Ras, Z. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201\u2013216. Oak Ridge National Laboratory (1989)"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF02115610","volume":"2","author":"K. Segerberg","year":"1973","unstructured":"Segerberg, K.: Two-dimensional modal logic. Journal of Philosophical Logic\u00a02(1), 77\u201396 (1973)","journal-title":"Journal of Philosophical Logic"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24130-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,10]],"date-time":"2023-06-10T08:19:35Z","timestamp":1686385175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24130-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642241291","9783642241307"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24130-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}