Model Transformers for Dynamical Systems of Dynamic Epistemic Logic (bibtex)

by Rasmus K. Rendsvig

Reference:

Model Transformers for Dynamical Systems of Dynamic Epistemic Logic Rasmus K. Rendsvig. Logic, Rationality, and Interaction (LORI 2015). Wiebe van der Hoek, Wesley Holliday, Wang Wen-fang, eds.. Lecture Notes in Computer Science. vol. 9394. Springer. 2015.

Bibtex Entry:

@inproceedings{Rendsvig-LORI2015,
    author    = {Rasmus~K. Rendsvig},
    title     = {{Model Transformers for Dynamical Systems of Dynamic Epistemic Logic}},
    booktitle = {{Logic, Rationality, and Interaction (LORI 2015)}},
    editor    = {Wiebe van der Hoek and Wesley Holliday  and Wang Wen-fang},
    series    = {{Lecture Notes in Computer Science}},
    volume    = {9394},
    publisher = {Springer},
    year      = {2015},
    pages     = {316--327},
    doi       = {10.1007/978-3-662-48561-3_26},
    url       = {http://rends.dk/papers/Rendsvig2015a.pdf}
}