{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:38:59Z","timestamp":1762101539817,"version":"3.40.4"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","license":[{"start":{"date-parts":[[2014,3,27]],"date-time":"2014-03-27T00:00:00Z","timestamp":1395878400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"DOI":"10.1007\/s10849-014-9194-z","type":"journal-article","created":{"date-parts":[[2014,3,26]],"date-time":"2014-03-26T12:21:38Z","timestamp":1395836498000},"source":"Crossref","is-referenced-by-count":2,"title":["Semantics for Knowledge and Change of Awareness"],"prefix":"10.1007","author":[{"given":"Hans","family":"van Ditmarsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"French","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,3,27]]},"reference":[{"key":"9194_CR1","unstructured":"Baltag, A., Moss, L., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In I. Gilboa (Ed.), Proceedings of 7th TARK (pp. 43\u201356). Morgan Kaufmann."},{"key":"9194_CR2","unstructured":"Board, O., & Chung, K. S. (2009). Object-based unawareness: Theory and applications. Technical report, University of Minnesota, Department of Economics."},{"key":"9194_CR3","doi-asserted-by":"crossref","unstructured":"Browne, M., Clarke, E., & Gr\u00fcmberg, O. (1987). Characterizing Kripke structures in temporal logic. In H. Ehrig, R. Kowalski, G. Levi, & U. Montanari (Eds.), TAPSOFT \u201987, LNCS 249 (pp. 256\u2013270). Springer.","DOI":"10.21236\/ADA188620"},{"issue":"1","key":"9194_CR4","doi-asserted-by":"crossref","first-page":"310","DOI":"10.2307\/2586539","volume":"65","author":"G d\u2019Agostino","year":"2000","unstructured":"d\u2019Agostino, G., & Hollenberg, M. (2000). Logical questions concerning the $$\\mu $$ \u03bc -calculus: Interpolation, Lyndon and Los-Tarski. Journal of Symbolic Logic, 65(1), 310\u2013332.","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"9194_CR5","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. (1988). Belief, awareness, and limited reasoning. Artificial Intelligence, 34(1), 39\u201376.","journal-title":"Artificial Intelligence"},{"key":"9194_CR6","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., Moses, Y., & Vardi, M. (1995). Reasoning about knowledge. Cambridge, MA: MIT Press."},{"issue":"3","key":"9194_CR7","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1111\/j.1755-2567.1970.tb00432.x","volume":"36","author":"K Fine","year":"1970","unstructured":"Fine, K. (1970). Propositional quantifiers in modal logic. Theoria, 36(3), 336\u2013346.","journal-title":"Theoria"},{"key":"9194_CR8","unstructured":"French, T. (2006). Bisimulation quantifiers for modal logic. Ph.D. thesis, University of Western Australia."},{"key":"9194_CR9","doi-asserted-by":"crossref","unstructured":"Grossi, D., & Vel\u00e1zquez-Quesada, F. (2009). Twelve angry men: A study on the fine-grain of announcements. In X. He, J. Horty, & E. Pacuit (Eds.), Proceedings of 1st LORI (pp. 147\u2013160). Springer, LNCS 5834.","DOI":"10.1007\/978-3-642-04893-7_12"},{"issue":"2","key":"9194_CR10","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/j.geb.2009.02.001","volume":"67","author":"J Halpern","year":"2009","unstructured":"Halpern, J., & Rego, L. (2009). Reasoning about knowledge of unawareness. Games and Economic Behavior, 67(2), 503\u2013525.","journal-title":"Games and Economic Behavior"},{"key":"9194_CR11","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, 78\u201394.","journal-title":"Journal of Economic Theory"},{"key":"9194_CR12","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, 113\u2013137.","journal-title":"Journal of Philosophical Logic"},{"key":"9194_CR13","volume-title":"Knowledge and belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J. (1962). Knowledge and belief. Ithaca, NY: Cornell University Press."},{"key":"9194_CR14","unstructured":"Hollenberg, M. (1998). Logic and bisimulation. Ph.D. thesis, University of Utrecht."},{"key":"9194_CR15","unstructured":"Levesque, H. (1984). A logic of implicit and explicit belief. In R. Brachman (Ed.), Proceedings of AAAI (pp. 198\u2013202). AAAI Press."},{"key":"9194_CR16","unstructured":"Lin, F., & Reiter, R. (1994). Forget it!. In Proceedings of AAAI fall symposium on relevance (pp. 154\u2013159). New Orleans."},{"key":"9194_CR17","doi-asserted-by":"crossref","unstructured":"Meyer, J. J., & van der Hoek, W. (1995). Epistemic logic for AI and computer science (Vol. 41). Cambridge University Press, Cambridge Tracts in Theoretical Computer Science.","DOI":"10.1017\/CBO9780511569852"},{"key":"9194_CR18","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 Decision, 37, 107\u2013124.","journal-title":"Theory and Decision"},{"key":"9194_CR19","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":"9194_CR20","unstructured":"Plaza, J. (1989). Logics of public communications. In M. Emrich, M. Pfeifer, M. Hadzikadic, & Z. Ras (Eds.), Proceedings of the 4th ISMIS (pp. 201\u2013216). Oak Ridge National Laboratory."},{"key":"9194_CR21","doi-asserted-by":"crossref","unstructured":"Stirling, C. (1998). The joys of bisimulation. In Brim, L., Gruska, J., & Zlatuska, J. (Eds.), Mathematical foundations of computer science 1998 (Proceedings of 23rd international symposium) (pp. 142\u2013151). Springer, LNCS 1450.","DOI":"10.1007\/BFb0055763"},{"key":"9194_CR22","unstructured":"van Benthem, J. (1998). Dynamic odds and ends. Technical report, University of Amsterdam, ILLC Research, Report ML-1998-08."},{"key":"9194_CR23","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., & French, T. (2009a). Awareness and forgetting of facts and agents. In P. Boldi, G. Vizzari, G. Pasi, & R. Baeza-Yates (Eds.), Proceedings of WI-IAT workshops 2009 (pp. 478\u2013483). IEEE Press.","DOI":"10.1109\/WI-IAT.2009.330"},{"key":"9194_CR24","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., & French, T. (2009b). Simulation and information. In J. Broersen & J. J. Meyer (Eds.), Knowledge Representation for Agents and Multi-Agent Systems (pp. 51\u201365). Springer, LNAI 5605.","DOI":"10.1007\/978-3-642-05301-6_4"},{"key":"9194_CR25","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., & French, T. (2011). Becoming aware of propositional variables. In M. Banerjee & A. Seth (Eds.), Proceedings of 4th ICLA (pp. 204\u2013218). Springer, LNCS 6521.","DOI":"10.1007\/978-3-642-18026-2_17"},{"issue":"2","key":"9194_CR26","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":"9194_CR27","unstructured":"van Ditmarsch, H., French, T., & Vel\u00e1zquez-Quesada, F. (2012). Action models for knowledge and awareness. In W. van der Hoek, L. Padgham, V. Conitzer, M. Winikoff (Eds.), Proceedings of 11th AAMAS (pp. 1091\u20131098)."},{"key":"9194_CR28","unstructured":"van Ditmarsch, H., French, T., Vel\u00e1zquez-Quesada, F., & Wang, Y. (2013). Knowledge, awareness, and bisimulation. In B. Schipper (Ed.), Proceedings of 14th TARK (pp. 61\u201370)."},{"key":"9194_CR29","unstructured":"van Eijck, J., & Sietsma, F. (2011). Message-generated Kripke semantics. In K. Tumer, P. Yolum, L. Sonenberg, P. Stone (Eds.), Proceedings of 10th AAMAS (pp. 1183\u20131184)."},{"key":"9194_CR30","unstructured":"Vel\u00e1zquez-Quesada, F. (2011). Small steps in dynamics of information. Ph.D. thesis, University of Amsterdam, ILLC dissertation series DS-2011-02."},{"key":"9194_CR31","doi-asserted-by":"crossref","unstructured":"Vel\u00e1zquez-Quesada, F. (2013). Expressivity hierarchy of languages for epistemic awareness models. In D. Grossi, O. Roy, & H. Huang (Eds.), Proceedings of 4th LORI (pp. 253\u2013266). Springer LNCS 8196.","DOI":"10.1007\/978-3-642-40948-6_20"},{"key":"9194_CR32","unstructured":"Visser, A. (1996). Bisimulations, model descriptions and propositional quantifiers. Logic Group Preprint Series 161, Department of Philosophy, Utrecht University."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-014-9194-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-014-9194-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-014-9194-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:51:52Z","timestamp":1746161512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-014-9194-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,27]]},"references-count":32,"alternative-id":["9194"],"URL":"https:\/\/doi.org\/10.1007\/s10849-014-9194-z","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2014,3,27]]}}}