research
∙
03/03/2023
Beyond Initial Algebras and Final Coalgebras
We provide a construction of the fixed points of functors which may not ...
share
research
∙
09/17/2021
On the size of disjunctive formulas in the μ-calculus
A key result in the theory of the modal mu-calculus is the disjunctive n...
research
∙
05/21/2021
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation
A modal logic that is strong enough to fully characterize the behavior o...
research
∙
01/26/2021
Compositional Game Theory, Compositionally
We present a new compositional approach to compositional game theory (CG...
research
∙
10/27/2020
Size matters in the modal μ-calculus
We discuss and compare complexity measures for the modal μ-calculus, foc...
research
∙
09/15/2020
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law
We extend the open games framework for compositional game theory to enco...
research
∙
09/02/2020
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics
We establish a generic upper bound ExpTime for reasoning with global ass...
research
∙
06/22/2020
Expressive Logics for Coinductive Predicates
The classical Hennessy-Milner theorem says that two states of an image-f...
research
∙
05/23/2020
Minimisation in Logical Form
Stone-type dualities provide a powerful mathematical framework for study...
research
∙
04/16/2019
Completeness for Game Logic
Game logic was introduced by Rohit Parikh in the 1980s as a generalisati...
research
∙
02/15/2019
Coalgebra Learning via Duality
Automata learning is a popular technique for inferring minimal automata ...
research
∙
11/21/2017
A Compositional Treatment of Iterated Open Games
Compositional Game Theory is a new, recently introduced model of economi...
research
∙
02/04/2014