Model Transformers for Dynamical Systems of Dynamic Epistemic Logic (bibtex)
@inproceedings{Rendsvig-LORI2015,
    author = {Rasmus~K. Rendsvig},
    title  = {{Model Transformers for Dynamical Systems of Dynamic Epistemic Logic}},
    editor = {Wiebe van der Hoek and Wesley Holliday  and Wang Wen-fang},
    booktitle = {{Logic, Rationality, and Interaction (LORI 2015)}},
    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://rasmuskrendsvig.dk/papers/Rendsvig2015a.pdf}
}
Powered by bibtexbrowser