{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:14Z","timestamp":1762458974057,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642293252"},{"type":"electronic","value":"9783642293269"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-29326-9_4","type":"book-chapter","created":{"date-parts":[[2012,4,20]],"date-time":"2012-04-20T05:39:12Z","timestamp":1334900352000},"page":"41-72","source":"Crossref","is-referenced-by-count":16,"title":["On the Logic of Lying"],"prefix":"10.1007","author":[{"given":"Hans","family":"van Ditmarsch","sequence":"first","affiliation":[]},{"given":"Jan","family":"van Eijck","sequence":"additional","affiliation":[]},{"given":"Floor","family":"Sietsma","sequence":"additional","affiliation":[]},{"given":"Yanjing","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","first-page":"493","volume-title":"Handbook of Theoretical Computer Science","author":"K. Apt","year":"1990","unstructured":"Apt, K.: Logic programming. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 493\u2013574. Elsevier, Amsterdam (1990)"},{"key":"4_CR2","unstructured":"Arendt, H.: Truth and politics. In: Between Past and Future \u2014 Six Exercises in Political Thought. Viking Press (1967) (Penguin Classics Edition, 2006)"},{"key":"4_CR3","unstructured":"Augustine, S.: De Mendacio. In: Schaff, P. (ed.) A Select Library of the Nicene and Post-Nicene Fathers of the Christian Church, Eerdmans, vol.\u00a03 (1956); translated by Rev. H. Browne (1988), http:\/\/www.newadvent.org\/fathers\/"},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/1467-8586.00138","volume":"54","author":"A. Baltag","year":"2002","unstructured":"Baltag, A.: A logic for suspicious players: epistemic action and belief-updates in games. Bulletin of Economic Research\u00a054(1), 1\u201345 (2002)","journal-title":"Bulletin of Economic Research"},{"issue":"2","key":"4_CR5","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A. Baltag","year":"2004","unstructured":"Baltag, A., Moss, L.: Logics for epistemic programs. Synthese\u00a0139(2), 165\u2013224 (2004)","journal-title":"Synthese"},{"key":"4_CR6","unstructured":"Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. Tech. Rep. SEN-R9922, CWI, Amsterdam (1999); with many updates"},{"key":"4_CR7","unstructured":"Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. Tech. rep., Dept. of Cognitive Science, Indiana University and Dept. of Computing, Oxford University (2003)"},{"key":"4_CR8","series-title":"Texts in Logic and Games","volume-title":"New Perspectives on Games and Interaction","author":"A. Baltag","year":"2008","unstructured":"Baltag, A., Smets, S.: The logic of conditional doxastic actions. In: Apt, K., van Rooij, R. (eds.) New Perspectives on Games and Interaction. Texts in Logic and Games, vol.\u00a04. University Press, Amsterdam (2008)"},{"key":"4_CR9","unstructured":"van Benthem, J.: Language, logic, and communication. In: van Benthem, J., Dekker, P., van Eijck, J., de Rijke, M., Venema, Y. (eds.) Logic in Action. ILLC, pp. 7\u201325 (2001)"},{"key":"4_CR10","first-page":"96","volume-title":"Logic Colloquium 2002","author":"J. Benthem van","year":"2006","unstructured":"van Benthem, J.: One is a lonely number: on the logic of communication. In: Chatzidakis, Z., Koepke, P., Pohlers, W. (eds.) Logic Colloquium 2002, pp. 96\u2013129. A.K. Peters, Wellesley (2006)"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s11225-009-9209-y","volume":"93","author":"J. Benthem van","year":"2009","unstructured":"van Benthem, J., Gerbrandy, J., Kooi, B.: Dynamic update with probabilities. Studia Logica\u00a093, 67\u201396 (2009)","journal-title":"Studia Logica"},{"issue":"11","key":"4_CR12","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.: Logics of communication and change. Information and Computation\u00a0204(11), 1620\u20131662 (2006)","journal-title":"Information and Computation"},{"key":"4_CR13","volume-title":"Lying \u2014 Moral Choice in Public and Private Life","author":"S. Bok","year":"1978","unstructured":"Bok, S.: Lying \u2014 Moral Choice in Public and Private Life. The Harvester Press, Sussex (1978)"},{"key":"4_CR14","unstructured":"van Ditmarsch, H.: Comments on \u2018the logic of conditional doxastic actions\u2019. In: Apt, K., van Rooij, R. (eds.) New Perspectives on Games and Interaction. Texts in Logic and Games, vol.\u00a04, pp. 33\u201344. Amsterdam University Press (2008)"},{"key":"4_CR15","unstructured":"van Ditmarsch, H.: Knowledge Games. PhD thesis, University of Groningen (2000)"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/1082473.1082495","volume-title":"Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005)","author":"H. Ditmarsch van","year":"2005","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic epistemic logic with assignment. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), pp. 141\u2013148. ACM Inc., New York (2005)"},{"key":"4_CR17","unstructured":"van Eijck, J.: Guarded actions. Tech. Rep. SEN-E0425, CWI, Amsterdam (December 2004), http:\/\/repository.cwi.nl\/"},{"key":"4_CR18","unstructured":"van Eijck, J.: DEMO \u2014 a demo of epistemic modelling. In: van Benthem, J., Gabbay, D., L\u00f6we, B. (eds.) Interactive Logic \u2014 Proceedings of the 7th Augustus de Morgan Workshop. Texts in Logic and Games, vol.\u00a0(1), pp. 305\u2013363. Amsterdam University Press (2007)"},{"key":"4_CR19","series-title":"Lecture Notes in Artificial Intelligence","first-page":"136","volume-title":"WOLLIC 2008","author":"J. Eijck van","year":"2008","unstructured":"van Eijck, J., Wang, Y.: Propositional Dynamic Logic as a Logic of Belief Revision. In: Hodges, W., de Queiroz, R. (eds.) WOLLIC 2008. LNCS (LNAI), vol.\u00a05110, pp. 136\u2013148. Springer, Heidelberg (2008)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"4_CR21","unstructured":"Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis, ILLC, Amsterdam (1999)"},{"key":"4_CR22","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\u00a0155, 21\u201333 (2007)","journal-title":"Synthese"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1093\/analys\/23.6.121","volume":"23","author":"E. Gettier","year":"1963","unstructured":"Gettier, E.: Is justified true belief knowledge? Analysis\u00a023, 121\u2013123 (1963)","journal-title":"Analysis"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Kooi, B.: Expressivity and completeness for public update logics via reduction axioms. Journal of Applied Non-Classical Logics\u00a016(2) (2007)","DOI":"10.3166\/jancl.17.231-253"},{"key":"4_CR25","unstructured":"Kooi, B.P.: Knowledge, Chance, and Change. PhD thesis, Groningen University (2003)"},{"key":"4_CR26","unstructured":"Montague, P.: A new disinformation campaign. New York Times (April 29, 1998)"},{"key":"4_CR27","unstructured":"Plaza, J.A.: 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":"4_CR28","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1093\/logcom\/14.2.251","volume":"14","author":"G. Renardel de Lavalette","year":"2004","unstructured":"Renardel de Lavalette, G.: Changing modalities. Journal of Logic and Computation\u00a014(2), 253\u2013278 (2004)","journal-title":"Journal of Logic and Computation"},{"key":"4_CR29","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-642-15675-5_25","volume-title":"Logics in Artificial Intelligence","author":"C. Sakama","year":"2010","unstructured":"Sakama, C., Caminada, M., Herzig, A.: A Logical Account of Lying. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS (LNAI), vol.\u00a06341, pp. 286\u2013299. Springer, Heidelberg (2010)"},{"key":"4_CR30","unstructured":"Sietsma, F.: Model checking for dynamic epistemic logic with factual change. Bachelor\u2019s Thesis, University of Amsterdam (2007)"},{"key":"4_CR31","unstructured":"Wang, Y.: Epistemic Modelling and Protocol Dynamics. PhD thesis, ILLC, Amsterdam (2010)"}],"container-title":["Lecture Notes in Computer Science","Games, Actions and Social Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29326-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:27:46Z","timestamp":1742959666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29326-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642293252","9783642293269"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29326-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}