collaborators

1 paper

cs.LO2025

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility

Helle Hvid Hansen, Wolfgang Poiger

We present a coalgebraic framework for studying generalisations of dynamic modal logics such as PDL and game logic in which both the propositions and the semantic structures can ta…