Dynamic Logics for Threshold Models and their Epistemic Extension (bibtex)

by Zoé Christoff and Rasmus K. Rendsvig

Reference:

Dynamic Logics for Threshold Models and their Epistemic Extension Zoé Christoff and Rasmus K. Rendsvig. Proceedings of Epistemic Logic for Individual, Social, and Interactive Epistemology (ELISIEM), ESSLLI 2014 (Tübingen, Germany). Wesley Holliday, Thomas Icard, eds.. 2014.

Bibtex Entry:

@inproceedings{ChristoffRendsvig2014,
    author    = {Zo\'e Christoff and Rasmus~K. Rendsvig},
    title     = {{Dynamic Logics for Threshold Models and their Epistemic Extension}},
    booktitle = {{Proceedings of Epistemic Logic for Individual, Social, and Interactive
                Epistemology (ELISIEM), ESSLLI 2014 (T{\"u}bingen, Germany)}},
    editor    = {Wesley Holliday and Thomas Icard},
    year      = {2014},
    url       = {http://rends.dk/papers/ChristoffRendsvig2014.pdf}
}