Document Type
Article
Publication Date
2011
Abstract
We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.
Recommended Citation
Christian Kissig, Alexander Kurz: Generic Trace Logics. CoRR abs/1103.3239 (2011)
Copyright
The authors
Included in
Algebra Commons, Logic and Foundations Commons, Other Computer Engineering Commons, Other Computer Sciences Commons, Other Mathematics Commons