![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Coalgebraic Dynamic Logics
Coalgebraic Dynamic LogicsAdd 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. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsCold atoms Contemporary History Seminar PIPS - Postgraduate Informal Physics SeminarsOther talksProvably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems Disorder relevance for non-convex random gradient Gibbs measures in d=2 Ultrafast, all-optical, and highly efficient imaging of molecular chirality Geometry of alternating projections in metric spaces with bounded curvature TBC Modelling uncertainty in image analysis. |