Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper (bibtex)

by Gaia Belardinelli and Rasmus K. Rendsvig

Reference:

Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Gaia Belardinelli and Rasmus K. Rendsvig. Dynamic Logic. New Trends and Applications (DaLi 2020). Martins, Manuel A., Sedlár, Igor, eds.. Springer. 2020.

Bibtex Entry:

@inproceedings{BelardinelliRendsvig2020,
    title     = {{Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper}},
    author    = {Gaia Belardinelli and Rasmus~K. Rendsvig},
    booktitle = {Dynamic Logic. New Trends and Applications (DaLi 2020)},
    publisher = {Springer},
    editor    = {Martins, Manuel A. and Sedl{\'a}r, Igor},
    pages     = {33--50},
    year      = {2020},
    doi       = {10.1007/978-3-030-65840-3_3},
    url       = {https://arxiv.org/pdf/2012.12982.pdf},
}