{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:29Z","timestamp":1762458809937},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"S1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1007\/s11229-010-9764-9","type":"journal-article","created":{"date-parts":[[2010,8,5]],"date-time":"2010-08-05T09:47:44Z","timestamp":1281001664000},"page":"5-27","source":"Crossref","is-referenced-by-count":47,"title":["The dynamics of awareness"],"prefix":"10.1007","volume":"177","author":[{"given":"Johan","family":"van Benthem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando R.","family":"Vel\u00e1zquez-Quesada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,8,6]]},"reference":[{"issue":"6","key":"9764_CR1","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1093\/logcom\/exi053","volume":"15","author":"S. N. Artemov","year":"2005","unstructured":"Artemov S. N., Nogina E. (2005) Introducing justification to epistemic logic. Journal of Logic and Computation 15(6): 1059\u20131073","journal-title":"Journal of Logic and Computation"},{"key":"9764_CR2","unstructured":"Baltag, A., Moss, L. S., & Solecki, S. (1999). The logic of public announcements, common knowledge and private suspicious. Technical Report SEN-R9922. Amsterdam: CWI."},{"key":"9764_CR3","unstructured":"Baltag, A., & Smets, S. (2008). A qualitative theory of dynamic interactive belief revision. In G. Bonanno, W. van der Hoek, & Wooldridge, M. (Eds.), Logic and the foundations of game and decision theory (LOFT7), texts in logic and games (Vol. 3, pp. 13\u201360). Amsterdam: University Press."},{"issue":"5","key":"9764_CR4","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1093\/logcom\/7.5.633","volume":"7","author":"H. N. 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":"3\u20134","key":"9764_CR5","first-page":"356","volume":"26","author":"R. A. Eberle","year":"1997","unstructured":"Eberle R. A. (1997) A logic of believing, knowing, and inferring. Synthese 26(3\u20134): 356\u2013382","journal-title":"Synthese"},{"issue":"1","key":"9764_CR6","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1080\/09528139008953715","volume":"2","author":"J. J. Elgot-Drapkin","year":"1990","unstructured":"Elgot-Drapkin J. J., Perlis D. (1990) Reasoning situation in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intelligence 2(1): 75\u201398","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"issue":"1","key":"9764_CR7","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","journal-title":"Artificial Intelligence"},{"key":"9764_CR8","unstructured":"Gerbrandy, J. (1999). Bisimulations on planet Kripke. Ph.D. thesis, Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam (UvA), Amsterdam, The Netherlands. ILLC Dissertation Series DS-1999-01."},{"key":"9764_CR9","doi-asserted-by":"crossref","unstructured":"Grossi, D., & Vel\u00e1zquez-Quesada, F. R. (2009). Twelve angry men: A study on the fine-grain of announcements. In X. He, J. F. Horty, & Pacuit, E. (Eds.), LORI, lecture notes in computer science (Vol. 5834, pp. 147\u2013160). New York: Springer.","DOI":"10.1007\/978-3-642-04893-7_12"},{"key":"9764_CR10","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1006\/game.2000.0832","volume":"37","author":"J. Y. Halpern","year":"2001","unstructured":"Halpern J. Y. (2001) Alternative semantics for unawareness. Games and Economic Behavior 37: 321\u2013339","journal-title":"Games and Economic Behavior"},{"key":"9764_CR11","volume-title":"Knowledge and belief: An introduction to the logic of the two notions","author":"J. Hintikka","year":"1962","unstructured":"Hintikka J. (1962) Knowledge and belief: An introduction to the logic of the two notions. Cornell University Press, Ithaca, NY"},{"key":"9764_CR12","first-page":"63","volume-title":"Proceedings of the workshop on logics for resource-bounded agents, organized as part of the 18th European summer school on logic, language and information (ESSLLI)","author":"M. Jago","year":"2006","unstructured":"Jago M. (2006) Rule-based and resource-bounded: A new look at epistemic logic. In: \u00c5gotnes T., Alechina N. (eds) Proceedings of the workshop on logics for resource-bounded agents, organized as part of the 18th European summer school on logic, language and information (ESSLLI). Malaga, Spain, pp 63\u201377"},{"issue":"1","key":"9764_CR13","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","journal-title":"Journal of Logic, Language and Information"},{"key":"9764_CR14","unstructured":"Konolige, K. (1984). Belief and incompleteness. Technical Report 319. Menlo Park, California: SRI International."},{"key":"9764_CR15","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/B978-0-934613-04-0.50027-2","volume-title":"Proceedings of 1986 conference on theoretical aspects of reasoning about knowledge","author":"G. Lakemeyer","year":"1986","unstructured":"Lakemeyer G. (1986) Steps Towards a first-order logic of explicit and implicit belief. In: Halpern J.Y. (eds) Proceedings of 1986 conference on theoretical aspects of reasoning about knowledge. Morgan Kaufmann Publishers Inc, San Francisco, CA, pp 325\u2013340"},{"key":"9764_CR16","unstructured":"Levesque, H. J. (1984). A logic of implicit and explicit belief. In Proceedings of AAAI-84 (pp. 198\u2013202). Austin, TX"},{"key":"9764_CR17","unstructured":"Moore, R. C., & Hendrix, G. (1979). Computational models of beliefs and the semantics of belief sentences. Technical Report 187. Menlo Park, California: SRI International."},{"issue":"2","key":"9764_CR18","first-page":"101","volume":"11","author":"A. Moreno","year":"1998","unstructured":"Moreno A. (1998) Avoiding logical omniscience and perfect reasoning: A survey. AI Communications 11(2): 101\u2013122","journal-title":"AI Communications"},{"key":"9764_CR19","unstructured":"Plaza, J. A. (1989). Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, & Ras, Z. W. (Eds.), Proceedings of the 4th international symposium on methodologies for intelligent systems (pp. 201\u2013216). Tennessee, USA: Oak Ridge National Laboratory, ORNL\/DSRD-24."},{"issue":"1","key":"9764_CR20","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1002\/(SICI)1098-111X(199701)12:1<57::AID-INT3>3.0.CO;2-X","volume":"12","author":"K. M. Sim","year":"1997","unstructured":"Sim K. M. (1997) Epistemic logic and logical omniscience. A survey. International Journal of Intelligent Systems 12(1): 57\u201381","journal-title":"International Journal of Intelligent Systems"},{"issue":"2","key":"9764_CR21","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J. Benthem van","year":"2007","unstructured":"van Benthem J. (2007) Dynamic logic for belief revision. Journal of Applied Non-Classical Logics 17(2): 129\u2013155","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"1","key":"9764_CR22","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"},{"key":"9764_CR23","volume-title":"Festschrift for Gerhard Heinzmann","author":"J. Benthem van","year":"2009","unstructured":"van Benthem J. (2009) Logic, mathematics, and general agency. In: Bour P., Rebuschi M., Rollet L. (eds) Festschrift for Gerhard Heinzmann. Laboratoire d\u2019histoire des ceinces et de la philosophie, Nancy"},{"key":"9764_CR24","unstructured":"van Benthem, J. (2010). Logical dynamics of information and interaction. Cambridge: Cambridge University Press (to appear)."},{"issue":"2","key":"9764_CR25","doi-asserted-by":"crossref","first-page":"157","DOI":"10.3166\/jancl.17.157-182","volume":"17","author":"J. Benthem van","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":"9764_CR26","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/B978-0-444-51726-5.50012-1","volume-title":"Philosophy Of information, handbook of the philosophy of science","author":"J. Benthem van","year":"2008","unstructured":"van Benthem J., Mart\u00ednez M. (2008) The stories of logic and information. In: Adriaans P., Benthem J. (eds) Philosophy Of information, handbook of the philosophy of science. North-Holland, Amsterdam, pp 217\u2013280"},{"issue":"11","key":"9764_CR27","doi-asserted-by":"crossref","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"},{"key":"9764_CR28","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"},{"issue":"2","key":"9764_CR29","first-page":"405","volume":"169","author":"H. Ditmarsch van","year":"2009","unstructured":"van Ditmarsch H., Herzig A., Lang J., Marquis P. (2009) Introspective forgetting. Synthese (Knowledge, Rationality and Action) 169(2): 405\u2013423","journal-title":"Synthese (Knowledge, Rationality and Action)"},{"key":"9764_CR30","first-page":"293","volume-title":"Proceedings of the 1986 conference","author":"M.Y. Vardi","year":"1986","unstructured":"Vardi M.Y. (1986) On epistemic logic and logical omniscience. In: Halpern J. (eds) Proceedings of the 1986 conference. Morgan Kaufmann Publishers Inc., Los Altos, CA, pp 293\u2013305"},{"issue":"2","key":"9764_CR31","first-page":"283","volume":"169","author":"F. R. Vel\u00e1zquez-Quesada","year":"2009","unstructured":"Vel\u00e1zquez-Quesada F. R. (2009) Inference and update. Synthese (Knowledge, Rationality and Action) 169(2): 283\u2013300","journal-title":"Synthese (Knowledge, Rationality and Action)"},{"key":"9764_CR32","unstructured":"Vel\u00e1zquez-Quesada, F. R. (2011). Small steps in dynamics of information. Ph.D. thesis, Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam (UvA), Amsterdam, The Netherlands (to appear)."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-010-9764-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T04:33:26Z","timestamp":1551587606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-010-9764-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8,6]]},"references-count":32,"journal-issue":{"issue":"S1","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["9764"],"URL":"https:\/\/doi.org\/10.1007\/s11229-010-9764-9","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,8,6]]}}}