Structural Operational Semantics and Modal Logic, Revisited

Bartek Klin
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
more » ... ng a syntactic distributive law between two collections of predicate liftings.
doi:10.1016/j.entcs.2010.07.019 fatcat:5ndmofo7l5h6nfnod5ilzfxgdu