Logic Column 15: Coalgebras and Their Logics
<|reference_start|>Logic Column 15: Coalgebras and Their Logics: This article describes recent work on the topic of specifying properties of transition systems. By giving a suitably abstract description of transition systems as coalgebras, it is possible to derive logics for capturing properties of these transition systems in an elegant way.<|reference_end|>
@article{kurz2006logic,
    title={Logic Column 15: Coalgebras and Their Logics},
    author={Alexander Kurz},
    journal={SIGACT News 37 (2), pp. 57-77, 2006},
    year={2006},
    archivePrefix={arXiv},
    eprint={cs/0605128},
    primaryClass={cs.LO}
}