Sciweavers

Share
ENTCS
2010

Structural Operational Semantics and Modal Logic, Revisited

8 years 11 months ago
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.
Bartek Klin
Added 02 Mar 2011
Updated 02 Mar 2011
Type Journal
Year 2010
Where ENTCS
Authors Bartek Klin
Comments (0)
books