research

Generic Trace Logics

Authors
Publication date
1 January 2011
Publisher
View on arXiv

Abstract

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

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Chapman University Digital Commons

    redirect
    oaioai:digitalcommons.chapman.edu...
    Last time updated on 09/07/2019