2016-02-18: Clemens Kupke (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Clemens Kupke (MSP)

Coalgebraic Dynamic Logics

Abstract

I will present work in progress on a (co)algebraic framework that allows to uniformly study dynamic modal logics such as Propositional Dynamic Logic (PDL) and Game Logic (GL). Underlying our framework is the basic observation that the program/game constructs of PDL/GL arise from monad structure, and that the axioms of these logics correspond to compatibility requirements between the modalities and this monad structure. So far we have a general soundness and completeness result for PDL-like logics wrt T-coalgebras for a monad T. I will discuss our completeness theorem, its limitations and plans for extending our results. [For the latter we might require the help of koalas, wallabies and wombats.]

2016-02-18 14:00:00 UTC
LT1310