{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:12:07Z","timestamp":1760202727706,"version":"3.37.3"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2017,5,17]],"date-time":"2017-05-17T00:00:00Z","timestamp":1494979200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["313360"],"award-info":[{"award-number":["313360"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1007\/s11229-017-1423-y","type":"journal-article","created":{"date-parts":[[2017,5,17]],"date-time":"2017-05-17T06:41:13Z","timestamp":1495003273000},"page":"4581-4615","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["True lies"],"prefix":"10.1007","volume":"195","author":[{"given":"Thomas","family":"\u00c5gotnes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4526-8687","authenticated-orcid":false,"given":"Hans","family":"van Ditmarsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanjing","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,17]]},"reference":[{"key":"1423_CR1","unstructured":"Arslan, B., Verbrugge, R., Taatgen, N., & Hollebrandse, B. (2015). Teaching children to attribute second-order false beliefs: A training study with feedback. In D.\u00a0Noelle, R.\u00a0Dale, A.\u00a0Warlaumont, J.\u00a0Yoshimi, T.\u00a0Matlock, C.\u00a0Jennings, & P.\u00a0Maglio (Eds.), Proceedings of 37th CogSci."},{"key":"1423_CR2","unstructured":"Augustine, S. (1956, 1988). De Mendacio. In P. Schaff (Ed.) A select library of the Nicene and Post-Nicene fathers of the Christian Church (Vol. 3). Grand Rapids: Eerdmans."},{"issue":"1","key":"1423_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/1467-8586.00138","volume":"54","author":"A Baltag","year":"2002","unstructured":"Baltag, A. (2002). A logic for suspicious players: Epistemic actions and belief updates in games. Bulletin of Economic Research, 54(1), 1\u201345.","journal-title":"Bulletin of Economic Research"},{"key":"1423_CR4","unstructured":"Baltag, A., Moss, L., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In Proceedings of 7th TARK (pp. 43\u201356). Burlington: Morgan Kaufmann."},{"key":"1423_CR5","unstructured":"Blackburn, P., de\u00a0Rijke, M., & Venema, Y. (2001). Modal logic, Cambridge Tracts in Theoretical Computer Science 53. Cambridge: Cambridge University Press."},{"key":"1423_CR6","volume-title":"Lying: Moral choice in public and private life","author":"S Bok","year":"1978","unstructured":"Bok, S. (1978). Lying: Moral choice in public and private life. New York: Random House."},{"issue":"1","key":"1423_CR7","doi-asserted-by":"publisher","first-page":"9","DOI":"10.3166\/jancl.21.9-34","volume":"21","author":"T Bolander","year":"2011","unstructured":"Bolander, T., & Andersen, M. (2011). Epistemic planning for single and multi-agent systems. Journal of Applied Non-classical Logics, 21(1), 9\u201334.","journal-title":"Journal of Applied Non-classical Logics"},{"key":"1423_CR8","unstructured":"Bra\u00fcner, T., Blackburn, P., & Polyanskaya, I. (2016). Second-order false-belief tasks: Analysis and formalization. In J.\u00a0V\u00e4\u00e4n\u00e4nen, \u00c5.\u00a0Hirvonen, & R.\u00a0de\u00a0Queiroz (Eds.) Proceedings of WoLLIC, LNCS 9803 (pp. 125\u2013144). Berlin: Springer."},{"key":"1423_CR9","first-page":"23","volume-title":"Advances in modal logic 7","author":"T French","year":"2008","unstructured":"French, T., & van Ditmarsch, H. (2008). Undecidability for arbitrary public announcement logic. In C. Areces & R. Goldblatt (Eds.), Advances in modal logic 7 (pp. 23\u201342). London: College Publications."},{"key":"1423_CR10","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J Gerbrandy","year":"1997","unstructured":"Gerbrandy, J., & Groeneveld, W. (1997). Reasoning about information change. Journal of Logic, Language, and Information, 6, 147\u2013169.","journal-title":"Journal of Logic, Language, and Information"},{"key":"1423_CR11","volume-title":"Knowledge and belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J. (1962). Knowledge and belief. Ithaca, NY: Cornell University Press."},{"key":"1423_CR12","first-page":"178","volume-title":"Advances in Modal Logic 8","author":"W Holliday","year":"2010","unstructured":"Holliday, W., & Icard, T. (2010). Moorean phenomena in epistemic logic. In L. Beklemishev, V. Goranko, & V. Shehtman (Eds.), Advances in Modal Logic 8 (pp. 178\u2013199). Norcross: College Publications."},{"issue":"Supplement\u20131","key":"1423_CR13","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s11229-013-0278-0","volume":"190","author":"W Holliday","year":"2013","unstructured":"Holliday, W., Hoshi, T., & Icard, T. (2013). Information dynamics and uniform substitution. Synthese, 190(Supplement\u20131), 31\u201355.","journal-title":"Synthese"},{"issue":"2","key":"1423_CR14","doi-asserted-by":"publisher","first-page":"231","DOI":"10.3166\/jancl.17.231-253","volume":"17","author":"B Kooi","year":"2007","unstructured":"Kooi, B. (2007). Expressivity and completeness for public update logics via reduction axioms. Journal of Applied Non-Classical Logics, 17(2), 231\u2013254.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"4","key":"1423_CR15","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1017\/S1755020311000189","volume":"4","author":"B Kooi","year":"2011","unstructured":"Kooi, B., & Renne, B. (2011). Arrow update logic. Review of Symbolic Logic, 4(4), 536\u2013559.","journal-title":"Review of Symbolic Logic"},{"issue":"1","key":"1423_CR16","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s11023-012-9287-x","volume":"23","author":"F Liu","year":"2013","unstructured":"Liu, F., & Wang, Y. (2013). Reasoning about agent types and the hardest logic puzzle ever. Minds and Machines, 23(1), 123\u2013161.","journal-title":"Minds and Machines"},{"issue":"2","key":"1423_CR17","first-page":"21","volume":"22","author":"J Mahon","year":"2006","unstructured":"Mahon, J. (2006). Two definitions of lying. Journal of Applied Philosophy, 22(2), 21\u2013230.","journal-title":"Journal of Applied Philosophy"},{"key":"1423_CR18","unstructured":"Mahon, J. (2008). The definition of lying and deception. In: E. N. Zalta (Ed.) The Stanford Encyclopedia of Philosophy (Winter 2016 Edition)."},{"issue":"3","key":"1423_CR19","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/s11225-005-3612-9","volume":"79","author":"J Miller","year":"2005","unstructured":"Miller, J., & Moss, L. (2005). The undecidability of iterated modal relativization. Studia Logica, 79(3), 373\u2013407.","journal-title":"Studia Logica"},{"key":"1423_CR20","unstructured":"Moore, G. (1942). A reply to my critics. In P.\u00a0Schilpp (Ed.) The philosophy of G.E. Moore, The Library of Living Philosophers (Vol. 4, pp. 535\u2013677). Evanston, IL: Northwestern University."},{"issue":"3","key":"1423_CR21","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF01661170","volume":"1","author":"Y Moses","year":"1986","unstructured":"Moses, Y., Dolev, D., & Halpern, J. (1986). Cheating husbands and other stories: A case study in knowledge, action, and communication. Distributed Computing, 1(3), 167\u2013176.","journal-title":"Distributed Computing"},{"key":"1423_CR22","unstructured":"Plaza, J. (1989). Logics of public communications. In Proceedings of the 4th ISMIS (pp. 201\u2013216). Oak Ridge National Laboratory."},{"key":"1423_CR23","unstructured":"Qian, L. (2002). Sentences true after being announced. In Proceedings of the student conference of NASSLLI 2002. Stanford University."},{"key":"1423_CR24","unstructured":"Sadzik, T. (2006). Exploring the iterated update universe. ILLC, Amsterdam. Technical report PP-2006-18."},{"key":"1423_CR25","unstructured":"Sakama, C. (2011). Formal definitions of lying. In Proceedings of 14th TRUST."},{"key":"1423_CR26","first-page":"128","volume":"3","author":"F Siegler","year":"1966","unstructured":"Siegler, F. (1966). Lying. American Philosophical Quarterly, 3, 128\u2013136.","journal-title":"American Philosophical Quarterly"},{"key":"1423_CR27","unstructured":"Steiner, D. (2006). A system for consistency preserving belief change. In Proceedings of the ESSLLI workshop on rationality and knowledge (pp. 133\u2013144)."},{"issue":"11","key":"1423_CR28","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. (2006). Logics of communication and change. Information and Computation, 204(11), 1620\u20131662.","journal-title":"Information and Computation"},{"issue":"5","key":"1423_CR29","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1007\/s11229-013-0275-3","volume":"191","author":"H Ditmarsch van","year":"2014","unstructured":"van Ditmarsch, H. (2014). Dynamics of lying. Synthese, 191(5), 745\u2013777.","journal-title":"Synthese"},{"key":"1423_CR30","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. (2006). The secret of my success. Synthese, 151, 201\u2013232.","journal-title":"Synthese"},{"key":"1423_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16694-0","volume-title":"One hundred prisoners and a light bulb","author":"H Ditmarsch van","year":"2015","unstructured":"van Ditmarsch, H., & Kooi, B. (2015). One hundred prisoners and a light bulb. G\u00f6ttingen: Copernicus."},{"key":"1423_CR32","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van\u00a0der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic, volume 337 of Synthese Library. Berlin: Springer.","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"1423_CR33","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van Eijck, J., Sietsma, F., & Wang, Y. (2012). On the logic of lying. In Games, actions and social software, LNCS 7010 (pp. 41\u201372). Berlin: Springer.","DOI":"10.1007\/978-3-642-29326-9_4"},{"key":"1423_CR34","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.artint.2013.12.001","volume":"208","author":"H Ditmarsch van","year":"2014","unstructured":"van Ditmarsch, H., Ghosh, S., Verbrugge, R., & Wang, Y. (2014). Hidden protocols: Modifying our expectations in an evolving world. Artificial Intelligence, 208, 18\u201340.","journal-title":"Artificial Intelligence"},{"key":"1423_CR35","unstructured":"van Emde\u00a0Boas, P., & van Emde Boas\u00a0Lubsen, G. (2016). The rules of victorious warriors\u2014logical and game theoretical aspects of strategy theory in ancient china. Technical report, University of Amsterdam. ILLC Research Report PP-2016-22."},{"key":"1423_CR36","unstructured":"Wang, Y. (2010). Epistemic modelling and protocol dynamics. Ph.D. thesis, Universiteit van Amsterdam."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-017-1423-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1423-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1423-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,4]],"date-time":"2018-12-04T11:23:01Z","timestamp":1543922581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-017-1423-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,17]]},"references-count":36,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2018,10]]}},"alternative-id":["1423"],"URL":"https:\/\/doi.org\/10.1007\/s11229-017-1423-y","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2017,5,17]]}}}