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

Standard

Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Mode. / Belardinelli, Gaia; Rendsvig, Rasmus Kræmmer.

Dynamic Logic. New Trends and Applications: DaLi 2020 - International Workshop on Dynamic Logic. Vol. 12569 Springer, 2020. p. 33-50 (Lecture Notes in Computer Science, Vol. 12569).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Harvard

Belardinelli, G & Rendsvig, RK 2020, Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Mode. in Dynamic Logic. New Trends and Applications: DaLi 2020 - International Workshop on Dynamic Logic. vol. 12569, Springer, Lecture Notes in Computer Science, vol. 12569, pp. 33-50. https://doi.org/10.1007/978-3-030-65840-3_3

APA

Belardinelli, G., & Rendsvig, R. K. (2020). Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Mode. In Dynamic Logic. New Trends and Applications: DaLi 2020 - International Workshop on Dynamic Logic (Vol. 12569, pp. 33-50). Springer. Lecture Notes in Computer Science Vol. 12569 https://doi.org/10.1007/978-3-030-65840-3_3

Vancouver

Belardinelli G, Rendsvig RK. Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Mode. In Dynamic Logic. New Trends and Applications: DaLi 2020 - International Workshop on Dynamic Logic. Vol. 12569. Springer. 2020. p. 33-50. (Lecture Notes in Computer Science, Vol. 12569). https://doi.org/10.1007/978-3-030-65840-3_3

Author

Belardinelli, Gaia ; Rendsvig, Rasmus Kræmmer. / Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Mode. Dynamic Logic. New Trends and Applications: DaLi 2020 - International Workshop on Dynamic Logic. Vol. 12569 Springer, 2020. pp. 33-50 (Lecture Notes in Computer Science, Vol. 12569).

Bibtex

@inproceedings{3fe96101ab03409c967399921658f4aa,
title = "Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Mode",
abstract = "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{\textquoteright} results.",
author = "Gaia Belardinelli and Rendsvig, {Rasmus Kr{\ae}mmer}",
year = "2020",
doi = "10.1007/978-3-030-65840-3_3",
language = "English",
isbn = "978-3-030-65839-7",
volume = " 12569",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "33--50",
booktitle = "Dynamic Logic. New Trends and Applications",
address = "Switzerland",

}

RIS

TY - GEN

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

AU - Belardinelli, Gaia

AU - Rendsvig, Rasmus Kræmmer

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-030-65840-3_3

DO - 10.1007/978-3-030-65840-3_3

M3 - Article in proceedings

SN - 978-3-030-65839-7

VL - 12569

T3 - Lecture Notes in Computer Science

SP - 33

EP - 50

BT - Dynamic Logic. New Trends and Applications

PB - Springer

ER -

ID: 255564693