57 citations · 208 across the 27 of their papers we have counts for
5 papers · 1 filter
Size matters in the modal -calculus
Clemens Kupke, Johannes Marti, Yde Venema
We discuss and compare complexity measures for the modal -calculus, focusing on size and alternation depth. As a yardstick we take Wilke's alternating tree automata, which we sh…
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law
Neil Ghani, Clemens Kupke, Alasdair Lambert +1
We extend the open games framework for compositional game theory to encompass also mixed strategies, making essential use of the discrete probability distribution monad. We show th…
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics
Clemens Kupke, Dirk Pattinson, Lutz Schröder
We establish a generic upper bound ExpTime for reasoning with global assumptions (also known as TBoxes) in coalgebraic modal logics. Unlike earlier results of this kind, our bound…
Expressive Logics for Coinductive Predicates
Clemens Kupke, Jurriaan Rot
The classical Hennessy-Milner theorem says that two states of an image-finite transition system are bisimilar if and only if they satisfy the same formulas in a certain modal logic…
Minimisation in Logical Form
Nick Bezhanishvili, Marcello Bonsangue, Helle Hvid Hansen +4
Stone-type dualities provide a powerful mathematical framework for studying properties of logical systems. They have recently been fruitfully explored in understanding minimisation…