Dynamic Logics for Threshold Models and their Epistemic Extension (bibtex)
@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://rasmuskrendsvig.dk/papers/ChristoffRendsvig2014.pdf}
}
Powered by bibtexbrowser