Generic Trace Logics

Abstract

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

References in corpus (1)

• Strongly Complete Logics for Coalgebras

Cited by in corpus (2)

• Generalizing determinization from automata to coalgebras
• Coalgebraic trace semantics via forgetful logics