University of Birmingham > Talks@bham > Theoretical computer science seminar > Coalgebraic Dynamic Logics

Coalgebraic Dynamic Logics

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Paul Taylor.

I will present a (co)algebraic framework for dynamic modal logics such as Propositional Dynamic Logic (PDL) and Game Logic (GL). Program/game constructs of these logics arise from monad structure, and the axioms of these logics express compatibility requirements between the modal operators and the monad structure. This observation leads to a generic soundness and completeness result for PDL -like logics for T-coalgebras where T is a monad and the program constructs are given by sequential composition, test, and point-wise extensions of operations of T.

(Joint work with Helle Hvid Hansen.)

This talk is part of the Theoretical computer science seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.