Abstract
We examine a logic that combines knowledge, awareness, and change of awareness. Change of awareness involves that an agent becomes aware of propositional variables. We show that the logic is decidable, and we present a complete axiomatization.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artificial Intelligence 34(1), 39–76 (1988)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Fine, K.: Propositional quantifiers in modal logic. Theoria 36(3), 336–346 (1970)
French, T.: Bisimulation quantifiers for modal logic. PhD thesis, University of Western Australia (2006)
Grossi, D., Velázquez-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. 5834, pp. 147–160. Springer, Heidelberg (2009)
Halpern, J.Y.: Alternative semantics for unawareness. Games and Economic Behavior 37(2), 321–339 (2001)
Halpern, J.Y., Rego, L.C.: Reasoning about knowledge of unawareness. Games and Economic Behavior 67(2), 503–525 (2009)
Heifetz, A., Meier, M., Schipper, B.C.: Interactive unawareness. Journal of Economic Theory 130, 78–94 (2006)
Hill, B.: Awareness dynamics. Journal of Philosophical Logic (to appear, 2009)
Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)
Hollenberg, M.: Logic and bisimulation. PhD thesis, University of Utrecht (1998)
Levesque, H.J.: A logic of implicit and explicit belief. In: Brachman, R.J. (ed.) Proceedings of AAAI, pp. 198–202. AAAI Press, Menlo Park (1984)
Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge Tracts in Theoretical Computer Science, vol. 41. Cambridge University Press, Cambridge (1995)
Modica, S., Rustichini, A.: Awareness and partitional information structures. Theory and Decision 37, 107–124 (1994)
Modica, S., Rustichini, A.: Unawareness and partitional information structures. Games and Economic Behavior 27, 265–298 (1999)
Stirling, C.: The joys of bisimulation. In: Brim, L., Gruska, J., Zlatuška, J. (eds.) MFCS 1998. LNCS, vol. 1450, p. 142. Springer, Heidelberg (1998)
van Ditmarsch, H., French, T.: Awareness and forgetting of facts and agents. In: Proceedings of WI-IAT Workshops 2009, pp. 478–483. IEEE Press, Los Alamitos (2009)
Visser, A.: Bisimulations, model descriptions and propositional quantifiers, Logic Group Preprint Series 161, Department of Philosophy, Utrecht University (1996)
Wang, Y.: Epistemic Modelling and Protocol Dynamics. PhD thesis, Universiteit van Amsterdam (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Ditmarsch, H., French, T. (2011). Becoming Aware of Propositional Variables. In: Banerjee, M., Seth, A. (eds) Logic and Its Applications. ICLA 2011. Lecture Notes in Computer Science(), vol 6521. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18026-2_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-18026-2_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-18025-5
Online ISBN: 978-3-642-18026-2
eBook Packages: Computer ScienceComputer Science (R0)