{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T09:13:08Z","timestamp":1772356388193,"version":"3.50.1"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,11,12]],"date-time":"2019-11-12T00:00:00Z","timestamp":1573516800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,11,12]],"date-time":"2019-11-12T00:00:00Z","timestamp":1573516800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/K033247\/1"],"award-info":[{"award-number":["EP\/K033247\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1007\/s10849-019-09307-1","type":"journal-article","created":{"date-parts":[[2019,11,12]],"date-time":"2019-11-12T05:15:26Z","timestamp":1573535726000},"page":"275-305","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A History Based Logic for Dynamic Preference Updates"],"prefix":"10.1007","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6229-8699","authenticated-orcid":false,"given":"Can","family":"Ba\u015fkent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"McCusker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,11,12]]},"reference":[{"key":"9307_CR1","doi-asserted-by":"crossref","unstructured":"Anderson, G., McCusker, G., & Pym, D. (2016). A logic for the compliance budget. In Q.\u00a0Zhu, T.\u00a0Alpcan, E.\u00a0Panaousis, M.\u00a0Tambe, & W.\u00a0Casey (Eds.), Proceedings, GameSec 2016\u2014Decision and game theory for security (pp. 370\u2013381).","DOI":"10.1007\/978-3-319-47413-7_21"},{"key":"9307_CR2","unstructured":"Baltag, A., Moss, L., & Solecki, S. (1998). The logic of public announcements and common knowledge and private suspicions. In I.\u00a0Gilboa (Ed.), Proceedings of the 7th conference on theoretical aspects of rationality and knowledge, TARK 98 (pp. 43\u201356)."},{"key":"9307_CR3","doi-asserted-by":"crossref","unstructured":"Ba\u015fkent, C. (2011). A logic for strategy updates. In H. van Ditmarsch & J. Lang (Eds.), Proceedings of the third international workshop on logic, rationality and interaction (LORI-3), volume LNCS 6953 (pp. 382\u2013383).","DOI":"10.1007\/978-3-642-24130-7_28"},{"key":"9307_CR4","volume-title":"Modal logic. Cambridge Tracts in Theoretical Computer Science","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., & de Venema, Y. (2001). Modal logic. Cambridge Tracts in Theoretical Computer Science. Cambridge: Cambridge University Press."},{"key":"9307_CR5","doi-asserted-by":"crossref","DOI":"10.1142\/8844","volume-title":"The language of game theory","author":"A Brandenburger","year":"2014","unstructured":"Brandenburger, A. (2014). The language of game theory. Singapore: World Scientific Publishing."},{"key":"9307_CR6","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/s001820050114","volume":"28","author":"R Fagin","year":"1999","unstructured":"Fagin, R., Geanakoplos, J., Halpern, J. Y., & Vardi, M. Y. (1999). The hierarchical approach to modeling knowledge and common knowledge. International Journal of Game Theory, 28, 331\u2013365.","journal-title":"International Journal of Game Theory"},{"key":"9307_CR7","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. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge. Cambridge: MIT Press."},{"issue":"2","key":"9307_CR8","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1145\/103516.128680","volume":"38","author":"R Fagin","year":"1991","unstructured":"Fagin, R., Halpern, J. Y., & Vardi, M. Y. (1991). A model-theoretic analysis of knowledge. Journal of the Association for Computing Machinery, 38(2), 382\u2013428.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"9307_CR9","volume-title":"Many dimensional modal logics: Theory and applications","author":"DM Gabbay","year":"2003","unstructured":"Gabbay, D. M., Kurucz, A., Wolter, F., & Zakharyaschev, M. (2003). Many dimensional modal logics: Theory and applications. Amsterdam: Elsevier."},{"key":"9307_CR10","unstructured":"Gerbrandy, J. (1999). Bisimulations on planet Kripke. PhD thesis, Institute of Logic, Language and Computation; Universiteit van Amsterdam."},{"key":"9307_CR11","volume-title":"Palgrave dictionary of economics","author":"JY Halpern","year":"2008","unstructured":"Halpern, J. Y. (2008). Computer science and game theory: A brief survey. In S. N. Durlauf & L. E. Blume (Eds.), Palgrave dictionary of economics. London: Palgrave MacMillan."},{"key":"9307_CR12","doi-asserted-by":"crossref","unstructured":"Halpern, J. Y. & Pass, R. (2017). A knowledge-based analysis of the blockchain protocol. In J.\u00a0Lang (Ed.), Proceedings of the sixteenth conference on theoretical aspects of rationality and knowledge. TARK 2018, EPTCS 251 (pp. 324\u2013335).","DOI":"10.4204\/EPTCS.251.22"},{"issue":"1","key":"9307_CR13","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"JY Halpern","year":"1989","unstructured":"Halpern, J. Y., & Vardi, M. Y. (1989). The complexity of reasoning about knowledge and time. I. Lower bounds. Journal of Computer and System Sciences, 38(1), 195\u2013237.","journal-title":"Journal of Computer and System Sciences"},{"issue":"2","key":"9307_CR14","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","author":"JY Halpern","year":"2004","unstructured":"Halpern, J. Y., Vardi, M. Y., & van der Meyden, R. (2004). Complete axiomatization for reasoning about knowledge and time. SIAM Journal of Computing, 33(2), 674\u2013703.","journal-title":"SIAM Journal of Computing"},{"key":"9307_CR15","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/978-94-017-0456-4_4","volume-title":"Handbook of philosophical logic","author":"SO Hanson","year":"2001","unstructured":"Hanson, S. O. (2001). Preference logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 4, pp. 319\u2013393). Dordrecht: Kluwer."},{"issue":"3","key":"9307_CR16","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1287\/mnsc.14.3.159","volume":"14","author":"JC Harsanyi","year":"1967","unstructured":"Harsanyi, J. C. (1967). Games with incomplete information played by \u2018Bayesian\u2019 players: I. The basic model. Management Science, 14(3), 159\u2013182.","journal-title":"Management Science"},{"key":"9307_CR17","unstructured":"Hodges, W. (2013) Logic and games. In Zalta, E. N. (Ed.), The Stanford encyclopedia of philosophy. Retrieved 2009, from http:\/\/plato.stanford.edu\/archives\/spr2009\/entries\/logic-games."},{"issue":"4","key":"9307_CR18","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1017\/S1755020311000189","volume":"4","author":"B Kooi","year":"2011","unstructured":"Kooi, B., & Renne, B. (2011). Arrow update logic. The Review of Symbolic Logic, 4(4), 536\u2013559.","journal-title":"The Review of Symbolic Logic"},{"key":"9307_CR19","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1023\/A:1008223921944","volume":"6","author":"N Kurtonina","year":"1997","unstructured":"Kurtonina, N., & de Rijke, M. (1997). Bisimulations for temporal logic. Journal of Logic, Language and Information, 6, 403\u2013425.","journal-title":"Journal of Logic, Language and Information"},{"key":"9307_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01545-8","volume-title":"Essentials of game theory","author":"K Leyton-Brown","year":"2008","unstructured":"Leyton-Brown, K., & Shoham, Y. (2008). Essentials of game theory. San Rafael: Morgan & Claypool."},{"key":"9307_CR21","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.entcs.2011.10.019","volume":"278","author":"E Lorini","year":"2011","unstructured":"Lorini, E., & Moisan, F. (2011). An epistemic logic of extensive games. Electronic Notes in Theoretical Computer Science, 278, 245\u2013260.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9307_CR22","first-page":"261","volume-title":"Handbook of epistemic logic","author":"LS Moss","year":"2015","unstructured":"Moss, L. S. (2015). Dynamic epistemic logic. In H. van Ditmarsch, J. Y. Halpern, W. van der Hoek, & B. Kooi (Eds.), Handbook of epistemic logic (pp. 261\u2013312). London: College Publications."},{"key":"9307_CR23","volume-title":"A course in game theory","author":"MJ Osborne","year":"1994","unstructured":"Osborne, M. J., & Rubinstein, A. (1994). A course in game theory. Cambridge: MIT Press."},{"issue":"1","key":"9307_CR24","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1017\/S1755020311000244","volume":"5","author":"D Osherson","year":"2012","unstructured":"Osherson, D., & Weinstein, S. (2012). Preference based on reasons. The Review of Symbolic Logic, 5(1), 122\u2013147.","journal-title":"The Review of Symbolic Logic"},{"issue":"4","key":"9307_CR25","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1016\/j.jal.2006.03.012","volume":"5","author":"E Pacuit","year":"2007","unstructured":"Pacuit, E. (2007). Some comments on history based structures. Journal of Applied Logic, 5(4), 613\u2013624.","journal-title":"Journal of Applied Logic"},{"issue":"2","key":"9307_CR26","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/s11229-005-3877-6","volume":"149","author":"E Pacuit","year":"2006","unstructured":"Pacuit, E., Parikh, R., & Cogan, E. (2006). The logic of knowledge based obligation. Synthese, 149(2), 311\u2013341.","journal-title":"Synthese"},{"issue":"4","key":"9307_CR27","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1023\/A:1025007018583","volume":"12","author":"R Parikh","year":"2003","unstructured":"Parikh, R., & Ramanujam, R. (2003). A knowledge based semantics of messages. Journal of Logic, Language and Information, 12(4), 453\u2013467.","journal-title":"Journal of Logic, Language and Information"},{"key":"9307_CR28","unstructured":"Ramanujam, R., & Simon, S. (2008). Dynamic logic on games with structured strategies. In G. Brewka, & J. Lang (Eds.), Proceedings of the 11th international conference on principles of knowledge representation and reasoning. KR-08 (pp. 49\u201358)."},{"issue":"3","key":"9307_CR29","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1007\/s11229-015-0773-6","volume":"193","author":"B Renne","year":"2016","unstructured":"Renne, B., Sack, J., & Yap, A. (2016). Logics of temporal-epistemic actions. Synthese, 193(3), 813\u2013849.","journal-title":"Synthese"},{"issue":"2","key":"9307_CR30","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/s10849-007-9054-1","volume":"17","author":"J Sack","year":"2008","unstructured":"Sack, J. (2008). Temporal languages for epistemic programs. Journal of Logic, Language and Information, 17(2), 183\u2013216.","journal-title":"Journal of Logic, Language and Information"},{"key":"9307_CR31","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/978-3-540-32254-2_16","volume-title":"Mechanizing mathematical reasoning","author":"J van Benthem","year":"2005","unstructured":"van Benthem, J. (2005). An essay on sabotage and obstruction. In D. Hutter (Ed.), Mechanizing mathematical reasoning (pp. 268\u2013276). Berlin: Springer."},{"key":"9307_CR32","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9674.001.0001","volume-title":"Logic in games","author":"J van Benthem","year":"2014","unstructured":"van Benthem, J. (2014). Logic in games. Cambridge: MIT Press."},{"key":"9307_CR33","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Gerbrandy, J., & Pacuit, E. (2007). Merging frameworks for interaction: Del and etl. In D. Samet (Ed.), Proceedings of tark 2007.","DOI":"10.1145\/1324249.1324262"},{"issue":"1","key":"9307_CR34","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10992-008-9085-3","volume":"38","author":"J van Benthem","year":"2009","unstructured":"van Benthem, J., Girard, P., & Roy, O. (2009). Everything else being equal: A modal logic for ceteris paribus preferences. Journal of Philosophical Logic, 38(1), 83\u2013125.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9307_CR35","doi-asserted-by":"crossref","first-page":"157","DOI":"10.3166\/jancl.17.157-182","volume":"17","author":"J van Benthem","year":"2007","unstructured":"van Benthem, J., & Liu, F. (2007). Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics, 17(2), 157\u2013182.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9307_CR36","doi-asserted-by":"crossref","unstructured":"van\u00a0der Meyden, R. (1994). Axioms for knowledge and time in distributed systems with perfect recall. In Proceedings of IEEE symposium on logic in computer science (pp. 448\u2013457).","DOI":"10.1109\/LICS.1994.316046"},{"issue":"1","key":"9307_CR37","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1023\/A:1026181001368","volume":"75","author":"R van der Meyden","year":"2003","unstructured":"van der Meyden, R., & Wong, K. (2003). Complete axiomatization for reasoning about knowledge and branching time. Studia Logica, 75(1), 93\u2013123.","journal-title":"Studia Logica"},{"key":"9307_CR38","volume-title":"Dynamic Epistemic Logic","author":"H van Ditmarsch","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic Epistemic Logic. Berlin: Springer."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09307-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-019-09307-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09307-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,26]],"date-time":"2024-07-26T19:05:55Z","timestamp":1722020755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-019-09307-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,12]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["9307"],"URL":"https:\/\/doi.org\/10.1007\/s10849-019-09307-1","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,11,12]]},"assertion":[{"value":"12 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}