{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:01:21Z","timestamp":1762459281414,"version":"3.41.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2015,4,3]],"date-time":"2015-04-03T00:00:00Z","timestamp":1428019200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s11229-015-0733-1","type":"journal-article","created":{"date-parts":[[2015,4,3]],"date-time":"2015-04-03T12:34:49Z","timestamp":1428064489000},"page":"4071-4105","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Syntactic awareness in logical dynamics"],"prefix":"10.1007","volume":"192","author":[{"given":"Davide","family":"Grossi","sequence":"first","affiliation":[]},{"given":"Fernando R.","family":"Vel\u00e1zquez-Quesada","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,3]]},"reference":[{"key":"733_CR1","volume-title":"Handbook of modal logic, studies in logic and practical reasoning","author":"C Areces","year":"2006","unstructured":"Areces, C., & ten Cate, B. (2006). Hybrid logics. In P. Blackburn, J. van Benthem, & F. Wolter (Eds.), Handbook of modal logic, studies in logic and practical reasoning (Vol. 3). Amsterdam: Elsevier Science Inc."},{"issue":"6","key":"733_CR2","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1093\/logcom\/exi053","volume":"15","author":"SN Art\u00ebmov","year":"2005","unstructured":"Art\u00ebmov, S. N., & Nogina, E. (2005). Introducing justification into epistemic logic. Journal of Logic and Computation, 15(6), 1059\u20131073. doi: 10.1093\/logcom\/exi053 .","journal-title":"Journal of Logic and Computation"},{"key":"733_CR3","unstructured":"Baltag, A., Moss, L.S., & Solecki. S. (1999). The logic of public announcements, common knowledge and private suspicions. In Technical Report SEN-R9922, CWI, Amsterdam."},{"key":"733_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. New York: Cambridge University Press."},{"key":"733_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic: An introduction","author":"BF Chellas","year":"1980","unstructured":"Chellas, B. F. (1980). Modal logic: An introduction. Cambridge: Cambridge University Press."},{"issue":"5","key":"733_CR6","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1093\/logcom\/7.5.633","volume":"7","author":"HN Duc","year":"1997","unstructured":"Duc, H. N. (1997). Reasoning about rational, but not logically omniscient, agents. Journal of Logic and Computation, 7(5), 633\u2013648.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"733_CR7","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung, P. M. (1995). On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77(2), 321\u2013358.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"733_CR8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R Fagin","year":"1988","unstructured":"Fagin, R., & Halpern, J. Y. (1988). Belief, awareness, and limited reasoning. Artificial Intelligence, 34(1), 39\u201376. doi: 10.1016\/0004-3702(87)90003-8 .","journal-title":"Artificial Intelligence"},{"key":"733_CR9","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: The MIT Press."},{"issue":"2","key":"733_CR10","doi-asserted-by":"crossref","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(2), 147\u2013196.","journal-title":"Journal of Logic, Language, and Information"},{"key":"733_CR11","unstructured":"Grossi, D., Lorini, E., & Schwarzentruber, F. (2013). Ceteris paribus structure in logics of game forms. In Proceedings of TARK\u201913."},{"key":"733_CR12","series-title":"Synthesis lectures on artificial intelligence and machine learning","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01568-7","volume-title":"Judgment aggregation: A primer","author":"D Grossi","year":"2014","unstructured":"Grossi, D., & Pigozzi, G. (2014). Judgment aggregation: A primer., Synthesis lectures on artificial intelligence and machine learning San Rafael: Morgan and Claypool."},{"key":"733_CR13","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1006\/game.2000.0832","volume":"37","author":"J Halpern","year":"2001","unstructured":"Halpern, J. (2001). Alternative semantics for unawareness. Games and Economic Behavior, 37, 321\u2013339.","journal-title":"Games and Economic Behavior"},{"issue":"1","key":"733_CR14","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1016\/j.geb.2007.01.012","volume":"62","author":"J Halpern","year":"2008","unstructured":"Halpern, J., & R\u00eago, L. (2008). Interactive unawareness revisited. Games and Economic Behavior, 62(1), 232\u2013262.","journal-title":"Games and Economic Behavior"},{"key":"733_CR15","unstructured":"Hamami, Y. (2010). The interrogative model of inquiry meets dynamic epistemic logics. Master\u2019s thesis. ILLC, Universiteit van Amsterdam, Amsterdam, The Netherlands, ILLC Master of Logic Thesis Series MoL-2010-04."},{"issue":"1","key":"733_CR16","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/j.jet.2005.02.007","volume":"130","author":"A Heifetz","year":"2006","unstructured":"Heifetz, A., Meier, M., & Schipper, B. (2006). Interactive unawareness. Journal of Economic Theory, 130(1), 78\u201394.","journal-title":"Journal of Economic Theory"},{"issue":"2","key":"733_CR17","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/s10992-009-9110-1","volume":"39","author":"B Hill","year":"2010","unstructured":"Hill, B. (2010). Awareness dynamics. Journal of Philosophical Logic, 39(2), 113\u2013137.","journal-title":"Journal of Philosophical Logic"},{"key":"733_CR18","volume-title":"Knowledge and belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J. (1962). Knowledge and belief. Ithaca: Cornell University Press."},{"key":"733_CR19","unstructured":"Holliday, W.H. (2010). Trust and the dynamics of testimony. In L. Kurzen, D. Grossi, F.R. Vel\u00e1zquez-Quesada (eds) Logic and Interactive RAtionality. Seminar\u2019s yearbook 2009, ILLC (pp. 118\u2013142). Universiteit van Amsterdam, Amsterdam, The Netherlands."},{"key":"733_CR20","first-page":"178","volume-title":"Advances in modal logic","author":"WH Holliday","year":"2010","unstructured":"Holliday, W. H., & Icard, T. F. (2010). Moorean phenomena in epistemic logic. In L. Beklemishev, V. Goranko, & V. Shehtman (Eds.), Advances in modal logic (pp. 178\u2013199). London: College Publications."},{"issue":"1","key":"733_CR21","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s10849-008-9071-8","volume":"18","author":"M Jago","year":"2009","unstructured":"Jago, M. (2009). Epistemic logic for rule-based agents. Journal of Logic, Language and Information, 18(1), 131\u2013158. doi: 10.1007\/s10849-008-9071-8 .","journal-title":"Journal of Logic, Language and Information"},{"key":"733_CR22","doi-asserted-by":"crossref","unstructured":"List, C., Puppe, C. (2009). Judgment aggregation: A survey. In Oxford handbook of rational and social choice. Oxford: Oxford University Press.","DOI":"10.1093\/acprof:oso\/9780199290420.003.0020"},{"key":"733_CR23","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic logic for AI and computer science","author":"JJC Meyer","year":"1995","unstructured":"Meyer, J. J. C., & van Der Hoek, W. (1995). Epistemic logic for AI and computer science. New York: Cambridge University Press."},{"key":"733_CR24","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF01079207","volume":"37","author":"S Modica","year":"1994","unstructured":"Modica, S., & Rustichini, A. (1994). Awareness and partitional information structures. Theory and Decisions, 37, 107\u2013124.","journal-title":"Theory and Decisions"},{"key":"733_CR25","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1006\/game.1998.0666","volume":"27","author":"S Modica","year":"1999","unstructured":"Modica, S., & Rustichini, A. (1999). Unawareness and partitional information structures. Games and Economic Behavior, 27, 265\u2013298.","journal-title":"Games and Economic Behavior"},{"key":"733_CR26","unstructured":"Plaza, J. A. (1989). Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, & Z. W. Ras (Eds.), Proceedings of the 4th international symposium on methodologies for intelligent systems (pp. 201\u2013216), Tennessee: Oak Ridge National Laboratory, ORNL\/DSRD-24."},{"key":"733_CR27","doi-asserted-by":"crossref","unstructured":"Troelstra, A. S., & Schwichtenberg, H. (2000). Basic proof theory, 2nd edn. No. 43 in Cambridge tracts in theoretical computer science. Cambridge, U.K.: Cambridge University Press.","DOI":"10.1017\/CBO9781139168717"},{"issue":"1","key":"733_CR28","first-page":"1","volume":"1","author":"J Benthem van","year":"2008","unstructured":"van Benthem, J. (2008). Merging observation and access in dynamic logic. Journal of Logic Studies, 1(1), 1\u201317.","journal-title":"Journal of Logic Studies"},{"issue":"Supplement 1","key":"733_CR29","first-page":"5","volume":"177","author":"J Benthem van","year":"2010","unstructured":"van Benthem, J., & Vel\u00e1zquez-Quesada, F. R. (2010). The dynamics of awareness. Synthese (Knowledge, Rationality and Action), 177(Supplement 1), 5\u201327. doi: 10.1007\/s11229-010-9764-9 .","journal-title":"Synthese (Knowledge, Rationality and Action)"},{"key":"733_CR30","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical dynamics of information and interaction","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J. (2011). Logical dynamics of information and interaction. Cambridge: Cambridge University Press."},{"issue":"4","key":"733_CR31","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1007\/s10992-012-9233-7","volume":"41","author":"J Benthem van","year":"2012","unstructured":"van Benthem, J., & Minic\u0103, S. (2012). Toward a dynamic logic of questions. Journal of Philosophical Logic, 41(4), 633\u2013669. doi: 10.1007\/s10992-012-9233-7 .","journal-title":"Journal of Philosophical Logic"},{"key":"733_CR32","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., & French, T. (2009). Awareness and forgetting of facts and agents. In Proceedings of the 2009 IEEE\/WIC\/ACM International joint conference on web intelligence and intelligent agent technologies (WI-IAT 2009), Milan.","DOI":"10.1109\/WI-IAT.2009.330"},{"key":"733_CR33","unstructured":"van Ditmarsch, H.P., French, T., Vel\u00e1zquez-Quesada, F.R., & Wang, Y. (2013). Knowledge, awareness, and bisimulation. In Schipper BC (Ed.). TARK (pp 61\u201370)."},{"key":"733_CR34","series-title":"Synthese library","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic (Vol. 337)., Synthese library Dordrecht: Springer."},{"key":"733_CR35","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/978-3-642-18026-2_17","volume-title":"ICLA","author":"H Ditmarsch van","year":"2011","unstructured":"van Ditmarsch, H., & French, T. (2011). Becoming aware of propositional variables. In M. Banerjee & A. Seth (Eds.), ICLA (pp. 204\u2013218)., Lecture notes in computer science New Delhi: Springer. doi: 10.1007\/978-3-642-18026-2-17 ."},{"key":"733_CR36","doi-asserted-by":"crossref","unstructured":"Vel\u00e1zquez-Quesada, F.R. (2013). Public announcements for non-omniscient agents. In Lodaya K (Ed.). Lecture notes in computer science (Vol. 7750, pp. 220\u2013232). doi: 10.1007\/978-3-642-36039-8_20","DOI":"10.1007\/978-3-642-36039-8_20"},{"issue":"2","key":"733_CR37","first-page":"283","volume":"169","author":"FR Vel\u00e1zquez-Quesada","year":"2009","unstructured":"Vel\u00e1zquez-Quesada, F. R. (2009). Inference and update. Synthese (Knowledge, Rationality and Action), 169(2), 283\u2013300. doi: 10.1007\/s11229-009-9556-2 .","journal-title":"Synthese (Knowledge, Rationality and Action)"},{"issue":"2","key":"733_CR38","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10849-014-9193-0","volume":"23","author":"FR Vel\u00e1zquez-Quesada","year":"2014","unstructured":"Vel\u00e1zquez-Quesada, F. R. (2014). Dynamic epistemic logic for implicit and explicit beliefs. Journal of Logic, Language and Information, 23(2), 107\u2013140. doi: 10.1007\/s10849-014-9193-0 .","journal-title":"Journal of Logic, Language and Information"},{"issue":"Supplement 1","key":"733_CR39","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s11229-012-0233-5","volume":"190","author":"Y Wang","year":"2013","unstructured":"Wang, Y., & Cao, Q. (2013). On axiomatizations of public announcement logic. Synthese, 190(Supplement 1), 103\u2013134. doi: 10.1007\/s11229-012-0233-5 .","journal-title":"Synthese"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0733-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0733-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0733-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T21:25:10Z","timestamp":1747862710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0733-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,3]]},"references-count":39,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["733"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0733-1","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2015,4,3]]}}}