The following pages link to Coalgebraic Modal Logic in CoCasl (Q3591070):
Displaying 6 items.
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- (Q3086937) (← links)
- Interacting with Modal Logics in the Coq Proof Assistant (Q3194730) (← links)
- (Q4499303) (← links)
- Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics (Q5034233) (← links)
- Coalgebraic Announcement Logics (Q5327426) (← links)