{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T07:44:40Z","timestamp":1765439080561,"version":"3.44.0"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031947476"},{"type":"electronic","value":"9783031947483"}],"license":[{"start":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T00:00:00Z","timestamp":1754956800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T00:00:00Z","timestamp":1754956800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-94748-3_3","type":"book-chapter","created":{"date-parts":[[2025,8,11]],"date-time":"2025-08-11T19:14:31Z","timestamp":1754939671000},"page":"36-49","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Arbitrary Radical Upgrades"],"prefix":"10.1007","author":[{"given":"Raul","family":"Fervari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Icard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,12]]},"reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/s10849-022-09355-0","volume":"31","author":"T \u00c5gotnes","year":"2022","unstructured":"\u00c5gotnes, T., Alechina, N., Galimullin, R.: Logics with group announcements and distributed knowledge: completeness and expressive power. J. Logic Lang. Inf. 31(2), 141\u2013166 (2022)","journal-title":"J. Logic Lang. Inf."},{"issue":"1","key":"3_CR2","first-page":"2","volume":"25","author":"P Balbiani","year":"2015","unstructured":"Balbiani, P.: Putting right the wording and the proof of the truth lemma for APAL. J. Appl. Log. 25(1), 2\u201319 (2015)","journal-title":"J. Appl. Log."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., de\u00a0Lima, T.: What can we achieve by arbitrary announcements?: A dynamic take on Fitch\u2019s knowability. In: Samet, D. (ed.) Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), pp. 42\u201351 (2007)","DOI":"10.1145\/1324249.1324259"},{"issue":"3","key":"3_CR4","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1017\/S1755020308080210","volume":"1","author":"P Balbiani","year":"2008","unstructured":"Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., de Lima, T.: knowable\u2019 as \u2018known after an announcement. Rev. Symb. Logic 1(3), 305\u2013334 (2008)","journal-title":"Rev. Symb. Logic"},{"key":"3_CR5","unstructured":"Balbiani, P., van Ditmarsch, H.: A simple proof of the completeness of APAL. CoRR arxiv:1409.2612 (2014)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Baltag, A., Van\u00a0Ditmarsch, H., Herzig, A., Hoshi, T., De\u00a0Lima, T.: What can we achieve by arbitrary announcements? A dynamic take on Fitch\u2019s knowability. In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 42\u201351 (2007)","DOI":"10.1145\/1324249.1324259"},{"issue":"3","key":"3_CR7","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1017\/S1755020308080210","volume":"1","author":"P Balbiani","year":"2008","unstructured":"Balbiani, P., Baltag, A., Van Ditmarsch, H., Herzig, A., Hoshi, T., De Lima, T.: Knowable\u2019as \u2018known after an announcement. Rev. Symb. Logic 1(3), 305\u2013334 (2008)","journal-title":"Rev. Symb. Logic"},{"key":"3_CR8","unstructured":"Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Proceeding TARK \u201998 Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (1998)"},{"key":"3_CR9","unstructured":"Baltag, A., Rodenh\u00e4user, B., Smets, S.: Doxastic attitudes as belief-revision policies. In: Proceedings of the ESSLLI Workshop on Strategies for Learning, Belief Revision and Preference Change (2012)"},{"key":"3_CR10","unstructured":"Baltag, A., Smets, S.: Surprise?! an answer to the hangman, or how to avoid unexpected exams! In: Logic and Interactive Rationality Seminar (LIRA), Slides (2009)"},{"key":"3_CR11","unstructured":"Baltag, A., Smets, S.: Dynamic belief revision over multi-agent plausibility models. In: Proceedings of LOFT, vol.\u00a06, pp. 11\u201324 (2006)"},{"key":"3_CR12","unstructured":"Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. Logic Found. Game Decis. Theory (LOFT 7) 3, 9\u201358 (2008)"},{"issue":"2","key":"3_CR13","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/BF00385718","volume":"34","author":"N Belnap","year":"1991","unstructured":"Belnap, N.: Before refraining: concepts for agency. Erkenntnis 34(2), 137\u2013169 (1991). https:\/\/doi.org\/10.1007\/BF00385718","journal-title":"Erkenntnis"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge (2011)","DOI":"10.1017\/CBO9780511974533"},{"issue":"282","key":"3_CR15","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1093\/analys\/64.2.95","volume":"64","author":"J van Benthem","year":"2004","unstructured":"van Benthem, J.: What one may come to know. Analysis 64(282), 95\u2013105 (2004)","journal-title":"Analysis"},{"issue":"2","key":"3_CR16","doi-asserted-by":"publisher","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J van Benthem","year":"2007","unstructured":"van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-Classical Logics 17(2), 129\u2013155 (2007)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"3_CR17","unstructured":"van\u00a0Benthem, J., Smets, S.: Dynamic logics of belief change. In: Handbook of Logics for Knowledge and Belief, pp. 299\u2013368. College Publications (2015)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de\u00a0Rijke, M., Venema, Y.: Modal Logic, Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.geb.2003.10.006","volume":"49","author":"O Board","year":"2004","unstructured":"Board, O.: Dynamic interactive epistemology. Games Econ. Behav. 49(1), 49\u201380 (2004)","journal-title":"Games Econ. Behav."},{"key":"3_CR20","unstructured":"Brogaard, B., Salerno, J.: Fitch\u2019s paradox of knowability (2002)"},{"issue":"2","key":"3_CR21","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/s11229-006-8493-6","volume":"153","author":"HP van Ditmarsch","year":"2006","unstructured":"van Ditmarsch, H.P., Kooi, B.: The secret of my success. Synthese 153(2), 339\u2013339 (2006)","journal-title":"Synthese"},{"issue":"2","key":"3_CR22","doi-asserted-by":"publisher","first-page":"135","DOI":"10.2307\/2271594","volume":"28","author":"FB Fitch","year":"1963","unstructured":"Fitch, F.B.: A logical analysis of some value concepts1. J. Symb. Logic 28(2), 135\u2013142 (1963)","journal-title":"J. Symb. Logic"},{"issue":"1","key":"3_CR23","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s11229-005-2211-7","volume":"155","author":"J Gerbrandy","year":"2007","unstructured":"Gerbrandy, J.: The surprise examination in dynamic epistemic logic. Synthese 155(1), 21\u201333 (2007)","journal-title":"Synthese"},{"key":"3_CR24","unstructured":"Goldblatt, R.: Axiomatising the Logic of Computer Programming. Springer, Heidelberg (1982)"},{"key":"3_CR25","volume-title":"Knowledge and Belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)"},{"issue":"8","key":"3_CR26","first-page":"178","volume":"8","author":"WH Holliday","year":"2010","unstructured":"Holliday, W.H., Icard, T.F., III.: Moorean phenomena in epistemic logic. Adv. Modal Logic 8(8), 178\u2013199 (2010)","journal-title":"Adv. Modal Logic"},{"key":"3_CR27","unstructured":"Icard, B.: Lying, deception and strategic omission: definition and evaluation. Ph.D. thesis, Universit\u00e9 Paris sciences et lettres (2019)"},{"key":"3_CR28","unstructured":"Icard, B.: The Surprise Deception Paradox (2024). https:\/\/hal.science\/hal-04647404"},{"key":"3_CR29","unstructured":"Moore, G.E.: A reply to my critics. In: Schilpp, P.A. (ed.) The Philosophy of G. E. Moore. Tudor Pub. Co. (1942)"},{"key":"3_CR30","unstructured":"Plaza, J.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201\u2013216 (1989)"},{"issue":"2","key":"3_CR31","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J Plaza","year":"2007","unstructured":"Plaza, J.: Logics of public communications. Synthese 158(2), 165 (2007)","journal-title":"Synthese"},{"key":"3_CR32","unstructured":"Rodenh\u00e4user, B.: A matter of trust: dynamic attitudes in epistemic logic. Universiteit van Amsterdam [Host] (2014)"},{"key":"3_CR33","volume-title":"What is the Name of this Book? The Riddle of Dracula and Other Logical Puzzles: Mysteries, Paradoxes, G\u00f6del\u2019s Discovery","author":"RM Smullyan","year":"1978","unstructured":"Smullyan, R.M.: What is the Name of this Book? The Riddle of Dracula and Other Logical Puzzles: Mysteries, Paradoxes, G\u00f6del\u2019s Discovery. Prentice-Hall, Upper Saddle River (1978)"},{"issue":"2","key":"3_CR34","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10849-014-9193-0","volume":"23","author":"FR Vel\u00e1zquez-Quesada","year":"2014","unstructured":"Vel\u00e1zquez-Quesada, F.R.: Dynamic epistemic logic for implicit and explicit beliefs. J. Logic Lang. Inf. 23(2), 107\u2013140 (2014)","journal-title":"J. Logic Lang. Inf."},{"key":"3_CR35","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1007\/BF01052780","volume":"23","author":"M Xu","year":"1994","unstructured":"Xu, M.: Doing and refraining from refraining. J. Phil. Log. 23, 621\u2013632 (1994)","journal-title":"J. Phil. Log."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-94748-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T10:31:29Z","timestamp":1757413889000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-94748-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,12]]},"ISBN":["9783031947476","9783031947483"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-94748-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,12]]},"assertion":[{"value":"12 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aveiro","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}