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

arXiv: https://arxiv.org/abs/2012.12982 · HTML: https://mlsanity.com/paper/2012.12982/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 23 Dec 2020.

## Built on by (most cited first, 1 of 1)

- [Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models](https://mlsanity.com/paper/2106.12868/) (2021)

## Abstract (arXiv)

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.