{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:26Z","timestamp":1750307306310,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,7,12]],"date-time":"2011-07-12T00:00:00Z","timestamp":1310428800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["NWO-639.072.904","NWO-277-80-001"],"award-info":[{"award-number":["NWO-639.072.904","NWO-277-80-001"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,7,12]]},"DOI":"10.1145\/2000378.2000409","type":"proceedings-article","created":{"date-parts":[[2011,7,15]],"date-time":"2011-07-15T12:25:09Z","timestamp":1310732709000},"page":"257-264","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["A note on a generalization of the Muddy Children puzzle"],"prefix":"10.1145","author":[{"given":"Nina","family":"Gierasimczuk","sequence":"first","affiliation":[{"name":"Groningen"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakub","family":"Szymanik","sequence":"additional","affiliation":[{"name":"Groningen"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001820050111"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274176"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Van Benthem J. (1986). Essays in Logical Semantics. D. Reidel Dordrecht.  Van Benthem J. (1986). Essays in Logical Semantics . D. Reidel Dordrecht.","DOI":"10.1007\/978-94-009-4540-1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0219198907001254"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Van Benthem J. and Minica S. (2010). Questions and issue management. Toward a dynamic logic of questions. to appear in the Journal of Philosophical Logic.  Van Benthem J. and Minica S. (2010). Questions and issue management. Toward a dynamic logic of questions. to appear in the Journal of Philosophical Logic.","DOI":"10.1007\/978-3-642-04893-7_3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1661445.1661560"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Van Ditmarsch H. Van der Hoek W. and Kooi B. (2007). Dynamic Epistemic Logic. Springer Netherlands.   Van Ditmarsch H. Van der Hoek W. and Kooi B. (2007). Dynamic Epistemic Logic . Springer Netherlands.","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"e_1_3_2_1_8_1","unstructured":"Fagin R. Halpern J. Y. Moses Y. and Vardi M. Y. (1995). Reasoning About Knowledge. MIT Press Cambridge.   Fagin R. Halpern J. Y. Moses Y. and Vardi M. Y. (1995). Reasoning About Knowledge . MIT Press Cambridge."},{"key":"e_1_3_2_1_9_1","unstructured":"Gerbrandy J. (1999). Bisimulations on planet Kripke. PhD thesis Universiteit van Amsterdam.  Gerbrandy J. (1999). Bisimulations on planet Kripke . PhD thesis Universiteit van Amsterdam."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Godefroid P. Huth M. and \n      \n      \n      Jagadeesan R\n      \n  \n  . (\n  2001\n  ). \n  Abstraction-based model checking using modal transition systems. In Larsen K. G. and Nielsen M. editors CONCUR volume \n  2154\n   of \n  Lecture Notes in Computer Science pages \n  426\n  --\n  440\n  . \n  Springer\n  .   Godefroid P. Huth M. and Jagadeesan R. (2001). Abstraction-based model checking using modal transition systems. In Larsen K. G. and Nielsen M. editors CONCUR volume 2154 of Lecture Notes in Computer Science pages 426--440. Springer.","DOI":"10.1007\/3-540-44685-0_29"},{"key":"e_1_3_2_1_11_1","unstructured":"Littlewood (1953). A mathematician's miscellany. London: Meuthen.  Littlewood (1953). A mathematician's miscellany . London: Meuthen."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646834.708181"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01661170"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.4064\/fm-44-1-12-36"},{"key":"e_1_3_2_1_15_1","first-page":"481","volume-title":"Proceedings of a Workshop on Logic from Computer Science","author":"Parikh R.","year":"1991"},{"key":"e_1_3_2_1_16_1","unstructured":"Peters S. and Westerst\u00e5hl D. (2006). Quantifiers in Language and Logic. Oxford University Press Oxford.  Peters S. and Westerst\u00e5hl D. (2006). Quantifiers in Language and Logic . Oxford University Press Oxford."},{"key":"e_1_3_2_1_17_1","unstructured":"Rabelais (German translation 1839). Gargantua und Pantagruel . Herausgabe Gottlob Regis Berlin\/Leipzig.  Rabelais (German translation 1839). Gargantua und Pantagruel . Herausgabe Gottlob Regis Berlin\/Leipzig."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-009-9115-9"},{"key":"e_1_3_2_1_19_1","unstructured":"Wang Y. (2010). Epistemic Modelling and Protocol Dynamics. PhD thesis Universiteit van Amsterdam.  Wang Y. (2010). Epistemic Modelling and Protocol Dynamics . PhD thesis Universiteit van Amsterdam."}],"event":{"name":"TARK XIII: Thirteenth conference on Theoretical Aspects of Rationality and Knowledge","acronym":"TARK XIII","location":"Groningen The Netherlands"},"container-title":["Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000378.2000409","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2000378.2000409","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:00:00Z","timestamp":1750244400000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000378.2000409"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,12]]},"references-count":19,"alternative-id":["10.1145\/2000378.2000409","10.1145\/2000378"],"URL":"https:\/\/doi.org\/10.1145\/2000378.2000409","relation":{},"subject":[],"published":{"date-parts":[[2011,7,12]]},"assertion":[{"value":"2011-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}