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

Gaia Belardinelli and Rasmus K. Rendsvig

Papers from arXiv.org

Abstract: Heifetz, Meier and Schipper (HMS) present a lattice model of awareness. The HMS model is syntax-free, which precludes the simple option to rely on formal language to induce lattices, and represents uncertainty and unawareness with one entangled construct, making it difficult to assess the properties of either. Here, we present a model based on a lattice of Kripke models, induced by atom subset inclusion, in which uncertainty and unawareness are separate. We show the models to be equivalent by defining transformations between them which preserve formula satisfaction, and obtain completeness through our and HMS' results.

Date: 2020-12
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Published in Martins M.A., Sedl\'ar I. (eds) Dynamic Logic. New Trends and Applications. DaLi 2020. Lecture Notes in Computer Science, vol 12569, pp 33-50. Springer, Cham

Downloads: (external link)
http://arxiv.org/pdf/2012.12982 Latest version (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:arx:papers:2012.12982

Access Statistics for this paper

More papers in Papers from arXiv.org
Bibliographic data for series maintained by arXiv administrators (help@arxiv.org).