Reasoning about Epistemic Social Network Dynamics using Dynamic Term-Modal Logic (bibtex)

by Andrés Occhipinti Liberman and Rasmus K. Rendsvig

Reference:

Reasoning about Epistemic Social Network Dynamics using Dynamic Term-Modal Logic Andrés Occhipinti Liberman and Rasmus K. Rendsvig. Journal of Logic and Computation. 2022.

Bibtex Entry:

@article{OcchipintiLibermanRendsvig2022,
    title     = {{Reasoning about Epistemic Social Network Dynamics using Dynamic Term-Modal Logic}},
    author    = {Andr{\'e}s {Occhipinti Liberman} and Rasmus~K. Rendsvig},
    journal   = {Journal of Logic and Computation},
    pages     = {Online: exac019},
    year      = {2022},
    doi       = {10.1093/logcom/exac019},
    url       = {https://academic.oup.com/logcom/article/32/6/1067/6575676?guestAccessKey=eb4fa9d9-d33f-4424-a02a-3a30c8c8ce49},
}