{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:51:32Z","timestamp":1762271492250,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642180255"},{"type":"electronic","value":"9783642180262"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-18026-2_17","type":"book-chapter","created":{"date-parts":[[2010,12,10]],"date-time":"2010-12-10T06:39:03Z","timestamp":1291963143000},"page":"204-218","source":"Crossref","is-referenced-by-count":20,"title":["Becoming Aware of Propositional Variables"],"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","reference":[{"issue":"1","key":"17_CR1","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artificial Intelligence\u00a034(1), 39\u201376 (1988)","journal-title":"Artificial Intelligence"},{"key":"17_CR2","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.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"issue":"3","key":"17_CR3","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1111\/j.1755-2567.1970.tb00432.x","volume":"36","author":"K. Fine","year":"1970","unstructured":"Fine, K.: Propositional quantifiers in modal logic. Theoria\u00a036(3), 336\u2013346 (1970)","journal-title":"Theoria"},{"key":"17_CR4","unstructured":"French, T.: Bisimulation quantifiers for modal logic. PhD thesis, University of Western Australia (2006)"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-642-04893-7_12","volume-title":"Logic, Rationality, and Interaction","author":"D. Grossi","year":"2009","unstructured":"Grossi, D., Vel\u00e1zquez-Quesada, F.R.: Twelve Angry Men: A study on the fine-grain of announcements. In: He, X., Horty, J., Pacuit, E. (eds.) LORI 2009. LNCS, vol.\u00a05834, pp. 147\u2013160. Springer, Heidelberg (2009)"},{"issue":"2","key":"17_CR6","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1006\/game.2000.0832","volume":"37","author":"J.Y. Halpern","year":"2001","unstructured":"Halpern, J.Y.: Alternative semantics for unawareness. Games and Economic Behavior\u00a037(2), 321\u2013339 (2001)","journal-title":"Games and Economic Behavior"},{"issue":"2","key":"17_CR7","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/j.geb.2009.02.001","volume":"67","author":"J.Y. Halpern","year":"2009","unstructured":"Halpern, J.Y., Rego, L.C.: Reasoning about knowledge of unawareness. Games and Economic Behavior\u00a067(2), 503\u2013525 (2009)","journal-title":"Games and Economic Behavior"},{"key":"17_CR8","doi-asserted-by":"publisher","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.C.: Interactive unawareness. Journal of Economic Theory\u00a0130, 78\u201394 (2006)","journal-title":"Journal of Economic Theory"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Hill, B.: Awareness dynamics. Journal of Philosophical Logic (to appear, 2009)","DOI":"10.1007\/s10992-009-9110-1"},{"key":"17_CR10","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)"},{"key":"17_CR11","unstructured":"Hollenberg, M.: Logic and bisimulation. PhD thesis, University of Utrecht (1998)"},{"key":"17_CR12","first-page":"198","volume-title":"Proceedings of AAAI","author":"H.J. Levesque","year":"1984","unstructured":"Levesque, H.J.: A logic of implicit and explicit belief. In: Brachman, R.J. (ed.) Proceedings of AAAI, pp. 198\u2013202. AAAI Press, Menlo Park (1984)"},{"key":"17_CR13","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"J.-J.C. Meyer","year":"1995","unstructured":"Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge Tracts in Theoretical Computer Science, vol.\u00a041. Cambridge University Press, Cambridge (1995)"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF01079207","volume":"37","author":"S. Modica","year":"1994","unstructured":"Modica, S., Rustichini, A.: Awareness and partitional information structures. Theory and Decision\u00a037, 107\u2013124 (1994)","journal-title":"Theory and Decision"},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1006\/game.1998.0666","volume":"27","author":"S. Modica","year":"1999","unstructured":"Modica, S., Rustichini, A.: Unawareness and partitional information structures. Games and Economic Behavior\u00a027, 265\u2013298 (1999)","journal-title":"Games and Economic Behavior"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BFb0055763","volume-title":"Mathematical Foundations of Computer Science 1998","author":"C. Stirling","year":"1998","unstructured":"Stirling, C.: The joys of bisimulation. In: Brim, L., Gruska, J., Zlatu\u0161ka, J. (eds.) MFCS 1998. LNCS, vol.\u00a01450, p. 142. Springer, Heidelberg (1998)"},{"key":"17_CR17","first-page":"478","volume-title":"Proceedings of WI-IAT Workshops 2009","author":"H. Ditmarsch van","year":"2009","unstructured":"van Ditmarsch, H., French, T.: Awareness and forgetting of facts and agents. In: Proceedings of WI-IAT Workshops 2009, pp. 478\u2013483. IEEE Press, Los Alamitos (2009)"},{"key":"17_CR18","unstructured":"Visser, A.: Bisimulations, model descriptions and propositional quantifiers, Logic Group Preprint Series 161, Department of Philosophy, Utrecht University (1996)"},{"key":"17_CR19","unstructured":"Wang, Y.: Epistemic Modelling and Protocol Dynamics. PhD thesis, Universiteit van Amsterdam (2010)"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-18026-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T16:36:52Z","timestamp":1740760612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18026-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642180255","9783642180262"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18026-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}