Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model

Open in new window