Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (bibtex)

by Andrés Occhipinti Liberman and Rasmus K. Rendsvig

Reference:

Dynamic Term-Modal Logic for Epistemic Social Network Dynamics Andrés Occhipinti Liberman and Rasmus K. Rendsvig. Logic, Rationality, and Interaction (LORI 2019). Blackburn, Patrick, Lorini, Emiliano, Guo, Meiyun, eds.. Lecture Notes in Computer Science. vol. 11813. Springer. 2019.

Bibtex Entry:

@inproceedings{OcchipintiLibermanRendsvig2019,
    author    = {Andr{\'e}s {Occhipinti Liberman} and Rasmus~K. Rendsvig},
    title     = {{Dynamic Term-Modal Logic for Epistemic Social Network Dynamics}},
    booktitle = {{Logic, Rationality, and Interaction (LORI 2019)}},
    editor    = {Blackburn, Patrick and Lorini, Emiliano and Guo, Meiyun},
    series    = {{Lecture Notes in Computer Science}},
    volume    = {11813},
    year      = {2019},
    publisher = {Springer},
    pages     = {168--182},
    doi       = {10.1007/978-3-662-60292-8_13},
    url       = {https://arxiv.org/pdf/1908.09658.pdf}
}