Title
Generic Trace Logics
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