Structural Operational Semantics and Modal Logic, Revisited

A previously introduced combination of the bialgebraic approach to structural operational semantics with aic 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 finding a syntactic distributive law between two collections of predicate liftings.

• Type: Journal
• Year: 2010
• Where: ENTCS
• Authors: Bartek Klin
• Keywords: Aic Modal Logic, ENTCS 2010, Main Compositionality Theorem, Modal Logic, Software Engineering