Coalgebraic Modal Logic in CoCASL
, and .
Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, volume 4409 of Lecture Notes in Computer Science, page 128-142. Springer, (2007)

We propose to extend the algebraic-coalgebraic specification language CoCASL by full coalgebraic modal logic based on predicate liftings for functors. This logic is more general than the modal logic previously used in CoCASL and supports the specification of a variety of modal logics, such as graded modal logic, majority logic, and probabilistic modal logic. CoCASL thus becomes a modern modal language that covers a wide range of Kripke and non-Kripke semantics of modal logics via the coalgebraic interpretation.
  • @tillmo
This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).