{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T04:15:27Z","timestamp":1749701727004,"version":"3.41.0"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319487571"},{"type":"electronic","value":"9783319487588"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48758-8_2","type":"book-chapter","created":{"date-parts":[[2016,10,31]],"date-time":"2016-10-31T13:24:55Z","timestamp":1477920295000},"page":"18-33","source":"Crossref","is-referenced-by-count":4,"title":["On Decidability of a Logic of Gossips"],"prefix":"10.1007","author":[{"given":"Krzysztof R.","family":"Apt","sequence":"first","affiliation":[]},{"given":"Dominik","family":"Wojtczak","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,1]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Grossi, D., Van der Hoek, W.: Epistemic protocols for distributed gossiping. In: Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2015). EPTCS, vol. 215, pp. 51\u201366 (2016)","DOI":"10.4204\/EPTCS.215.5"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-319-17130-2_13","volume-title":"Multi-Agent Systems","author":"M Attamah","year":"2015","unstructured":"Attamah, M., Ditmarsch, H., Grossi, D., Hoek, W.: A framework for epistemic gossip protocols. In: Bulling, N. (ed.) EUMAS 2014. LNCS (LNAI), vol. 8953, pp. 193\u2013209. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-17130-2_13"},{"key":"2_CR3","unstructured":"Attamah, M., van Ditmarsch, H., Grossi, D., Van der Hoek, W.: Knowledge and gossip. In Proceedings of ECAI 2014. IOS Press (2014)"},{"key":"2_CR4","unstructured":"Cooper, M.C., Herzig, A., Maffre, F., Maris, F., R\u00e9gnier, P.: A simple account of multiagent epistemic planning. In: Proceedings of ECAI 2016, pp. 193\u2013201. IOS Press (2016)"},{"key":"2_CR5","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., Vardi, M., Moses, Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"issue":"4","key":"2_CR6","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s004460050038","volume":"10","author":"R Fagin","year":"1997","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Knowledge-based programs. Distrib. Comput. 10(4), 199\u2013225 (1997)","journal-title":"Distrib. Comput."},{"issue":"3","key":"2_CR7","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1145\/146637.146638","volume":"39","author":"JY Halpern","year":"1992","unstructured":"Halpern, J.Y., Zuck, L.D.: A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols. J. ACM 39(3), 449\u2013478 (1992)","journal-title":"J. ACM"},{"issue":"4","key":"2_CR8","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1002\/net.3230180406","volume":"18","author":"SM Hedetniemi","year":"1988","unstructured":"Hedetniemi, S.M., Hedetniemi, S.T., Liestman, A.L.: A survey of gossiping and broadcasting in communication networks. Networks 18(4), 319\u2013349 (1988)","journal-title":"Networks"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-319-33509-4_20","volume-title":"Multi-Agent Systems and Agreement Technologies","author":"A Herzig","year":"2016","unstructured":"Herzig, A., Maffre, F.: How to share knowledge by gossiping. In: Rovatsos, M., Vouros, G., Julian, V. (eds.) EUMAS\/AT -2015. LNCS (LNAI), vol. 9571, pp. 249\u2013263. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-33509-4_20"},{"key":"2_CR10","series-title":"Texts in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-27903-2","volume-title":"Dissemination of Information in Communication Networks - Broadcasting, Gossiping, Leader Election, and Fault-Tolerance","author":"J Hromkovic","year":"2005","unstructured":"Hromkovic, J., Klasing, R., Pelc, A., Ruzicka, P., Unger, W.: Dissemination of Information in Communication Networks - Broadcasting, Gossiping, Leader Election, and Fault-Tolerance. Texts in Theoretical Computer Science. An EATCS Series. Springer, New York (2005)"},{"issue":"5","key":"2_CR11","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/1317379.1317381","volume":"41","author":"A Kermarrec","year":"2007","unstructured":"Kermarrec, A., van Steen, M.: Gossiping in distributed systems. Oper. Syst. Rev. 41(5), 2\u20137 (2007)","journal-title":"Oper. Syst. Rev."},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1007\/11539452_42","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"R Meyden","year":"2005","unstructured":"Meyden, R., Wilke, T.: Synthesis of distributed systems from knowledge-based specifications. In: Abadi, M., Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 562\u2013576. Springer, Heidelberg (2005). doi: 10.1007\/11539452_42"},{"key":"2_CR13","unstructured":"van Ditmarsch, H., van Eijck, J., Pardo, P., Ramezanian, R., Schwarzentruber, F.: Dynamic gossip (2015). CoRR, abs\/1511.00867"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48758-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T22:43:13Z","timestamp":1749681793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48758-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319487571","9783319487588"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48758-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}