{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:41:12Z","timestamp":1743133272262,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031643088"},{"type":"electronic","value":"9783031643095"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-64309-5_6","type":"book-chapter","created":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T22:01:49Z","timestamp":1719871309000},"page":"60-71","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Communication Modalities"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5894-8724","authenticated-orcid":false,"given":"Roman","family":"Kuznets","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,2]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-030-36755-8_2","volume-title":"Logical Foundations of Computer Science","author":"S Artemov","year":"2020","unstructured":"Artemov, S.: Observable models. In: Artemov, S., Nerode, A. (eds.) LFCS 2020. LNCS, vol. 11972, pp. 12\u201326. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-36755-8_2"},{"key":"6_CR2","unstructured":"Burns, J.E., Lynch, N.A.: The Byzantine firing squad problem. In: Preparata, F.P., (ed.) Parallel and Distributed Computing. Advances in Computing Research: A Research Annual, vol. 4, pp. 147\u2013161. JAI Press (1987)"},{"key":"6_CR3","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-031-43369-6_7","volume-title":"FroCoS 2023","author":"G Cignarale","year":"2023","unstructured":"Cignarale, G., Kuznets, R., Rincon Galeana, H., Schmid, U.: Logic of communication interpretation: how to not get lost in translation. In: Sattler, U., Suda, M. (eds.) FroCoS 2023. LNCS, vol. 14279, pp. 119\u2013136. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-43369-6_7"},{"key":"6_CR4","unstructured":"van Ditmarsch, H., Fruzsa, K., Kuznets, R.: A new hope. In: Fern\u00e1ndez-Duque, D., Palmigiano, A., Pinchinat, S., (eds.) Advances in Modal Logic, vol. 14, pp. 349\u2013369. College Publications (2022). http:\/\/www.aiml.net\/volumes\/volume14\/22-vanDitmarsch-Fruzsa-Kuznets.pdf"},{"key":"6_CR5","doi-asserted-by":"publisher","unstructured":"van Ditmarsch, H., Fruzsa, K., Kuznets, R., Schmid, U.: A logic for repair and state recovery in byzantine fault-tolerant multi-agent systems. In: Proceedings of IJCAR 2024: International Joint Conference on Automated Reasoning. Lecture Notes in Computer Science. Springer (2024, in press). https:\/\/doi.org\/10.48550\/arXiv.2401","DOI":"10.48550\/arXiv.2401"},{"key":"6_CR6","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H van Ditmarsch","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol. 337. Springer, Dordrecht (2007). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"issue":"2","key":"6_CR7","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/0890-5401(90)90014-9","volume":"88","author":"C Dwork","year":"1990","unstructured":"Dwork, C., Moses, Y.: Knowledge and common knowledge in a Byzantine environment: crash failures. Inf. Comput. 88(2), 156\u2013186 (1990). https:\/\/doi.org\/10.1016\/0890-5401(90)90014-9","journal-title":"Inf. Comput."},{"key":"6_CR8","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.7551\/mitpress\/5803.001.0001"},{"key":"6_CR9","doi-asserted-by":"publisher","unstructured":"Fimml, P.: Temporal-epistemic logic in Byzantine message-passing contexts. Master\u2019s thesis, TU Wien, Vienna, Austria (2017). https:\/\/doi.org\/10.34726\/hss.2017.38943","DOI":"10.34726\/hss.2017.38943"},{"key":"6_CR10","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-031-50628-4_6","volume-title":"ESSLLI 2019","author":"K Fruzsa","year":"2023","unstructured":"Fruzsa, K.: Hope for epistemic reasoning with faulty agents! In: Pavlova, A., Pedersen, M.Y., Bernardi, R. (eds.) ESSLLI 2019. LNCS, vol. 14354, pp. 93\u2013108. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-50628-4_6"},{"key":"6_CR11","doi-asserted-by":"publisher","unstructured":"Fruzsa, K., Kuznets, R., Schmid, U.: Fire! In: Halpern, J., Perea, A., (eds.) Proceedings of the Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, Beijing, China, June 25\u201327, 2021. Electronic Proceedings in Theoretical Computer Science, vol. 335, pp. 139\u2013153. Open Publishing Association (2021). https:\/\/doi.org\/10.4204\/EPTCS.335.13","DOI":"10.4204\/EPTCS.335.13"},{"key":"6_CR12","unstructured":"Garson, J.: Modal logic. In: Zalta, E.N., Nodelman, U., (eds.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Spring 2023 edition (2023). https:\/\/plato.stanford.edu\/archives\/spr2023\/entries\/logic-modal\/"},{"key":"6_CR13","doi-asserted-by":"publisher","unstructured":"Grice, H.P.: Logic and conversation. In: Cole, P., Morgan, J.L., (eds.) Speech Acts. Syntax and Semantics, vol. 3, pp. 41\u201358. Brill (1975). https:\/\/doi.org\/10.1163\/9789004368811_003","DOI":"10.1163\/9789004368811_003"},{"issue":"2","key":"6_CR14","doi-asserted-by":"publisher","first-page":"213","DOI":"10.2307\/2687775","volume":"7","author":"JY Halpern","year":"2001","unstructured":"Halpern, J.Y., Harper, R., Immerman, N., Kolaitis, P.G., Vardi, M.Y., Vianu, V.: On the unusual effectiveness of logic in computer science. Bull. Symbolic Logic 7(2), 213\u2013236 (2001). https:\/\/doi.org\/10.2307\/2687775","journal-title":"Bull. Symbolic Logic"},{"issue":"3","key":"6_CR15","doi-asserted-by":"publisher","first-page":"838","DOI":"10.1137\/S0097539798340217","volume":"31","author":"JY Halpern","year":"2001","unstructured":"Halpern, J.Y., Moses, Y., Waarts, O.: A characterization of eventual Byzantine agreement. SIAM J. Comput. 31(3), 838\u2013865 (2001). https:\/\/doi.org\/10.1137\/S0097539798340217","journal-title":"SIAM J. Comput."},{"key":"6_CR16","unstructured":"Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press (1962)"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"Kuznets, R., Prosperi, L., Schmid, U., Fruzsa, K.: Causality and epistemic reasoning in byzantine multi-agent systems. In: Moss, L.S., (ed.) Proceedings of the Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, Toulouse, France, 17\u201319 July 2019. Electronic Proceedings in Theoretical Computer Science, vol. 297, pp. 293\u2013312. Open Publishing Association (2019). https:\/\/doi.org\/10.4204\/EPTCS.297.19","DOI":"10.4204\/EPTCS.297.19"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-030-29007-8_15","volume-title":"Frontiers of Combining Systems","author":"R Kuznets","year":"2019","unstructured":"Kuznets, R., Prosperi, L., Schmid, U., Fruzsa, K.: Epistemic reasoning with byzantine-faulty agents. In: Herzig, A., Popescu, A. (eds.) FroCoS 2019. LNCS (LNAI), vol. 11715, pp. 259\u2013276. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29007-8_15"},{"key":"6_CR19","unstructured":"Kuznets, R., Prosperi, L., Schmid, U., Fruzsa, K., Gr\u00e9aux, L.: Knowledge in Byzantine message-passing systems\u00a0I: Framework and the causal cone. Technical Report TUW-260549, TU Wien (2019). https:\/\/publik.tuwien.ac.at\/files\/publik_260549.pdf"},{"issue":"3","key":"6_CR20","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., Pease, M.: The Byzantine Generals Problem. ACM Trans. Program. Lang. Syst. 4(3), 382\u2013401 (1982). https:\/\/doi.org\/10.1145\/357172.357176","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR21","unstructured":"Moses, Y.: Resource-bounded knowledge. In: Vardi, M.Y., (ed.) Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, pp. 261\u2013275. Morgan Kaufmann (1988). https:\/\/dl.acm.org\/doi\/abs\/10.5555\/1029718.1029741"},{"key":"6_CR22","doi-asserted-by":"publisher","unstructured":"Moses, Y.: Relating knowledge and coordinated action: the Knowledge of Preconditions principle. In: Ramanujam, R., (ed.) Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, Carnegie Mellon University, Pittsburgh, USA, June 4\u20136, 2015. Electronic Proceedings in Theoretical Computer Science, vol. 215, pp. 231\u2013145. Open Publishing Association (2016). https:\/\/doi.org\/10.4204\/EPTCS.215.17","DOI":"10.4204\/EPTCS.215.17"},{"issue":"2","key":"6_CR23","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/0004-3702(93)90107-M","volume":"64","author":"Y Moses","year":"1993","unstructured":"Moses, Y., Shoham, Y.: Belief as defeasible knowledge. Artif. Intell. 64(2), 299\u2013321 (1993). https:\/\/doi.org\/10.1016\/0004-3702(93)90107-M","journal-title":"Artif. Intell."},{"issue":"1\u20134","key":"6_CR24","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF01762112","volume":"3","author":"Y Moses","year":"1988","unstructured":"Moses, Y., Tuttle, M.R.: Programming simultaneous actions using common knowledge. Algorithmica 3(1\u20134), 121\u2013169 (1988). https:\/\/doi.org\/10.1007\/BF01762112","journal-title":"Algorithmica"},{"key":"6_CR25","doi-asserted-by":"publisher","DOI":"10.4324\/9781315284811","author":"A Pessin","year":"1995","unstructured":"Pessin, A., Goldberg, S.: The Twin Earth Chronicles: Twenty Years of Reflection on Hilary Putnam\u2019s \u201cThe Meaning of \u2018Meaning;\". M. E. Sharpe (1995). https:\/\/doi.org\/10.4324\/9781315284811","journal-title":"M. E. Sharpe"},{"key":"6_CR26","doi-asserted-by":"publisher","unstructured":"Schl\u00f6gl, T.: An extension framework for epistemic reasoning in byzantine distributed systems. Master\u2019s thesis, TU Wien, Vienna, Austria (2020). https:\/\/doi.org\/10.34726\/hss.2020.69444","DOI":"10.34726\/hss.2020.69444"},{"key":"6_CR27","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-030-69322-0_30","volume-title":"PRIMA 2020","author":"T Schl\u00f6gl","year":"2021","unstructured":"Schl\u00f6gl, T., Schmid, U., Kuznets, R.: The persistence of false memory: brain in a vat despite perfect clocks. In: Uchiya, T., Bai, Q., Mars\u00e1 Maestre, I. (eds.) PRIMA 2020. LNCS, vol. 12568, pp. 403\u2013411. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-69322-0_30"},{"key":"6_CR28","unstructured":"Smullyan, R.M.: What Is the Name of This Book?\u00a0\u2014 The Riddle of Dracula and Other Logical Puzzles. Prentice\u2013Hall (1978)"},{"issue":"3","key":"6_CR29","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/28869.28876","volume":"34","author":"TK Srikanth","year":"1987","unstructured":"Srikanth, T.K., Toueg, S.: Optimal clock synchronization. J. ACM 34(3), 626\u2013645 (1987). https:\/\/doi.org\/10.1145\/28869.28876","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","Twenty Years of Theoretical and Practical Synergies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64309-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T22:02:17Z","timestamp":1719871337000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64309-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031643088","9783031643095"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64309-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"2 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CiE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference on Computability in Europe","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","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":"8 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cie2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}