The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Logic Column 15: Coalgebras and Their Logics
[article]
2006
arXiv
pre-print
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.
arXiv:cs/0605128v1
fatcat:tkr62ke6rnaohapvpl4tz6elle