{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:11:05Z","timestamp":1746115865731,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642409479"},{"type":"electronic","value":"9783642409486"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40948-6_20","type":"book-chapter","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T05:30:06Z","timestamp":1380605406000},"page":"253-266","source":"Crossref","is-referenced-by-count":0,"title":["Expressivity Hierarchy of Languages for Epistemic Awareness Models"],"prefix":"10.1007","author":[{"given":"Fernando R.","family":"Vel\u00e1zquez-Quesada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)"},{"key":"20_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. The MIT Press, Cambridge (1995)"},{"issue":"1","key":"20_CR3","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"},{"unstructured":"Konolige, K.: Belief and incompleteness. T.R. 319. SRI International (1984)","key":"20_CR4"},{"unstructured":"Levesque, H.J.: A logic of implicit and explicit belief. In: Proc. of AAAI 1984, Austin, TX, pp. 198\u2013202 (1984)","key":"20_CR5"},{"key":"20_CR6","first-page":"293","volume-title":"TARK","author":"M.Y. Vardi","year":"1986","unstructured":"Vardi, M.Y.: On epistemic logic and logical omniscience. In: Halpern, J.Y. (ed.) TARK, pp. 293\u2013305. Morgan Kaufmann Publishers Inc., San Francisco (1986)"},{"unstructured":"van Ditmarsch, H., French, T., Vel\u00e1zquez-Quesada, F.R., Wang, Y.: Knowledge, awareness, and bisimulation. In: Schipper, B.C. (ed.) 14th TARK, pp. 61\u201370 (2013)","key":"20_CR7"},{"key":"20_CR8","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.: Modal logic. CUP, New York (2001)"},{"doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., French, T.: Awareness and forgetting of facts and agents. In: Web Intelligence\/IAT Workshops, pp. 478\u2013483. IEEE (2009)","key":"20_CR9","DOI":"10.1109\/WI-IAT.2009.330"},{"doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., French, T.: Becoming aware of propositional variables. In: Banerjee, M., Seth, A. (eds.) ICLA 2011. LNCS, vol.\u00a06521, pp. 204\u2013218. Springer, Heidelberg (2011)","key":"20_CR10","DOI":"10.1007\/978-3-642-18026-2_17"},{"doi-asserted-by":"crossref","unstructured":"van Benthem, J., Vel\u00e1zquez-Quesada, F.R.: The dynamics of awareness. Synthese (Knowledge, Rationality and Action)\u00a0177(suppl. 1), 5\u201327","key":"20_CR11","DOI":"10.1007\/s11229-010-9764-9"},{"unstructured":"van Ditmarsch, H., French, T., Vel\u00e1zquez-Quesada, F.R.: Action models for knowledge and awareness. In: van der Hoek, W., Padgham, L., Conitzer, V., Winikoff, M. (eds.) AAMAS, IFAAMAS, pp. 1091\u20131098 (2012)","key":"20_CR12"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40948-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T15:04:07Z","timestamp":1746025447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40948-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642409479","9783642409486"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40948-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}