paper

Generic Trace Logics

arXiv:1103.3239

Abstract

We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.