BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Theoretical computer science seminar
SUMMARY:Coalgebraic Dynamic Logics - Clemens Kupke (Univer
sity of Strathclyde)
DTSTART:20170324T110000Z
DTEND:20170324T120000Z
UID:TALK2471AT
URL:/talk/index/2471
DESCRIPTION:I will present a (co)algebraic framework for dynam
ic modal logics such\nas Propositional Dynamic Log
ic (PDL) and Game Logic (GL). Program/game\nconstr
ucts of these logics arise from monad structure\,
and the axioms of\nthese logics express compatibil
ity requirements between the modal\noperators and
the monad structure. This observation leads to a g
eneric\nsoundness and completeness result for PDL-
like logics for T-coalgebras\nwhere T is a monad a
nd the program constructs are given by sequential\
ncomposition\, test\, and point-wise extensions of
operations of T.\n\n(Joint work with Helle Hvid H
ansen.)\n\n
LOCATION:Computer Science Sloman Lounge
CONTACT:Paul Taylor
END:VEVENT
END:VCALENDAR