A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Structural Operational Semantics and Modal Logic, Revisited
2010
Electronical Notes in Theoretical Computer Science
A previously introduced combination of the bialgebraic approach to structural operational semantics with coalgebraic modal logic is re-examined and improved in some aspects. Firstly, a more abstract, conceptual proof of the main compositionality theorem is given, based on an understanding of modal logic as a study of coalgebras in slice categories of adjunctions. Secondly, a more concrete understanding of the assumptions of the theorem is provided, where proving compositionality amounts to
doi:10.1016/j.entcs.2010.07.019
fatcat:5ndmofo7l5h6nfnod5ilzfxgdu