Skip to main content
Article thumbnail
Location of Repository

Syntactic foundations for unawareness of theorems

By Spyros Galanis


We provide a syntactic model of unawareness. By introducing multiple knowledge modalities, one for each sub-language, we specifically model agents whose only mistake in reasoning (other than their unawareness) is to underestimate the knowledge of more aware agents. We show that the model is a complete and sound axiomatization of the set-theoretic model of Galanis [2007] and compare it with other unawareness models in the literature

Topics: HB, BF, HF
Year: 2011
OAI identifier:
Provided by: e-Prints Soton

Suggested articles


  1. A canonical model of interactive unawareness. doi
  2. (1998). A note on unawareness.
  3. (2007). A revisit of unawareness and the standard state space.
  4. (2001). Alternative semantics for unawareness. doi
  5. (2007). Awareness equilibrium.
  6. (1988). Belief, awareness, and limited reasoning. doi
  7. (2006). Dynamic games of complete information with unawareness.
  8. (2008). Dynamic unawareness and rationalizable behavior. doi
  9. (2006). Extensive games with possibly unaware players. doi
  10. (1989). Game theory without partitions, and applications to speculation and consensus. Cowles Foundation Discussion
  11. (2005). Games with incomplete unawareness. Discussion Paper #1894,
  12. (2001). Heterogeneous awareness and the possibility of agreement.
  13. (2008). Incentives for unaware agents. doi
  14. (2008). Incorporating unawareness into contract theory. doi
  15. (2008). Information structures with unawareness. doi
  16. (1999). Interactive epistemology i: Knowledge. doi
  17. (2008). Interactive unawareness revisited. doi
  18. (2006). Interactive unawareness. doi
  19. (2006). Knowledge, awareness and probabilistic beliefs.
  20. (1980). Modal logic: An intorduction. doi
  21. (2008). Moral hazard with unawareness. doi
  22. (2007). Object-based unawareness. doi
  23. (1995). Reasoning About Knowledge. doi
  24. (1994). Salvatore Modica and Aldo Rustichini. Unawareness and partitional information structures. doi
  25. (1998). Standard state spaces preclude unawareness. doi
  26. (2004). Subjective reasoning - games with unawareness. Discussion Paper #1875, doi
  27. (2008). Trade and the value of information under unawareness. doi
  28. (1998). Unawareness and bankruptcy: A general equilibrium model. Economic Theory, doi
  29. (2008). Unawareness and strategic announcements in games with uncertainty. doi
  30. (2007). Unawareness of theorems. doi
  31. (2007). Unawareness, beliefs, and games. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.