Logic Column 15: Coalgebras and Their Logics
计算机科学中的逻辑
2007-05-23 v1
摘要
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.
引用
@article{arxiv.cs/0605128,
title = {Logic Column 15: Coalgebras and Their Logics},
author = {Alexander Kurz},
journal= {arXiv preprint arXiv:cs/0605128},
year = {2007}
}
备注
21 pages