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

  Browse A-Z

Log in

System Admin (disabled)details Birmingham usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

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.

Other lists

Cold atoms Contemporary History Seminar PIPS - Postgraduate Informal Physics Seminars

Other talks

Provably 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.
 

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.