Abstract
We study the expressivity hierarchy of languages for epistemic awareness models based on the operators for implicit and explicit knowledge, implicit and explicit possibility and awareness, providing in each case an expressivity characterisation in terms of bisimulation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. The MIT Press, Cambridge (1995)
Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artificial Intelligence 34(1), 39–76 (1988)
Konolige, K.: Belief and incompleteness. T.R. 319. SRI International (1984)
Levesque, H.J.: A logic of implicit and explicit belief. In: Proc. of AAAI 1984, Austin, TX, pp. 198–202 (1984)
Vardi, M.Y.: On epistemic logic and logical omniscience. In: Halpern, J.Y. (ed.) TARK, pp. 293–305. Morgan Kaufmann Publishers Inc., San Francisco (1986)
van Ditmarsch, H., French, T., Velázquez-Quesada, F.R., Wang, Y.: Knowledge, awareness, and bisimulation. In: Schipper, B.C. (ed.) 14th TARK, pp. 61–70 (2013)
Blackburn, P., de Rijke, M., Venema, Y.: Modal logic. CUP, New York (2001)
van Ditmarsch, H., French, T.: Awareness and forgetting of facts and agents. In: Web Intelligence/IAT Workshops, pp. 478–483. IEEE (2009)
van Ditmarsch, H., French, T.: Becoming aware of propositional variables. In: Banerjee, M., Seth, A. (eds.) ICLA 2011. LNCS, vol. 6521, pp. 204–218. Springer, Heidelberg (2011)
van Benthem, J., Velázquez-Quesada, F.R.: The dynamics of awareness. Synthese (Knowledge, Rationality and Action) 177(suppl. 1), 5–27
van Ditmarsch, H., French, T., Velázquez-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–1098 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Velázquez-Quesada, F.R. (2013). Expressivity Hierarchy of Languages for Epistemic Awareness Models. In: Grossi, D., Roy, O., Huang, H. (eds) Logic, Rationality, and Interaction. LORI 2013. Lecture Notes in Computer Science, vol 8196. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40948-6_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-40948-6_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40947-9
Online ISBN: 978-3-642-40948-6
eBook Packages: Computer ScienceComputer Science (R0)