Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Mode
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Documents
- Belardinelli-Rendsvig2020_Chapter_AwarenessLogicAKripke-BasedRen
Final published version, 427 KB, PDF document
Heifetz, Meier & 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.
Original language | English |
---|---|
Title of host publication | Dynamic Logic. New Trends and Applications : DaLi 2020 - International Workshop on Dynamic Logic |
Volume | 12569 |
Publisher | Springer |
Publication date | 2020 |
Pages | 33-50 |
ISBN (Print) | 978-3-030-65839-7 |
ISBN (Electronic) | 978-3-030-65840-3 |
DOIs | |
Publication status | Published - 2020 |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 12569 |
ISSN | 0302-9743 |
Number of downloads are based on statistics from Google Scholar and www.ku.dk
No data available
ID: 255564693