Skip to main content
SpringerLink
Log in

Becoming Aware of Propositional Variables

  • Conference paper
Logic and Its Applications (ICLA 2011)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6521))

Included in the following conference series:

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

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artificial Intelligence 34(1), 39–76 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  2. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  3. Fine, K.: Propositional quantifiers in modal logic. Theoria 36(3), 336–346 (1970)

    Article  MathSciNet  MATH  Google Scholar 

  4. French, T.: Bisimulation quantifiers for modal logic. PhD thesis, University of Western Australia (2006)

    Google Scholar 

  5. 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)

    Chapter  Google Scholar 

  6. Halpern, J.Y.: Alternative semantics for unawareness. Games and Economic Behavior 37(2), 321–339 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  7. Halpern, J.Y., Rego, L.C.: Reasoning about knowledge of unawareness. Games and Economic Behavior 67(2), 503–525 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  8. Heifetz, A., Meier, M., Schipper, B.C.: Interactive unawareness. Journal of Economic Theory 130, 78–94 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  9. Hill, B.: Awareness dynamics. Journal of Philosophical Logic (to appear, 2009)

    Google Scholar 

  10. Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)

    MATH  Google Scholar 

  11. Hollenberg, M.: Logic and bisimulation. PhD thesis, University of Utrecht (1998)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Book  MATH  Google Scholar 

  14. Modica, S., Rustichini, A.: Awareness and partitional information structures. Theory and Decision 37, 107–124 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  15. Modica, S., Rustichini, A.: Unawareness and partitional information structures. Games and Economic Behavior 27, 265–298 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  16. 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)

    Chapter  Google Scholar 

  17. 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)

    Google Scholar 

  18. Visser, A.: Bisimulations, model descriptions and propositional quantifiers, Logic Group Preprint Series 161, Department of Philosophy, Utrecht University (1996)

    Google Scholar 

  19. Wang, Y.: Epistemic Modelling and Protocol Dynamics. PhD thesis, Universiteit van Amsterdam (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Sevilla, Sevilla, Spain

    Hans van Ditmarsch

  2. University of Western Australia, Perth, Australia

    Tim French

Authors
  1. Hans van Ditmarsch
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tim French
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Statistics, Indian Institute of Technology, 208016, Kanpur, India

    Mohua Banerjee

  2. Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, 208016, Kanpur, India

    Anil Seth

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation