Generic Trace Logics

2011/03/16 by Christian Kissig, Kissig, Christian, Alexander Kurz +1
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Advanced Algebra and Logic

paper · pdf · doi:10.48550/arxiv.1103.3239

Abstract

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

Related

• Steps and Traces
• Trace semantics via determinization
• Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
• On a coalgebraic view on Logic
• 09502 Abstracts Collection – Coalgebraic Logics