research
∙
12/28/2020
The temporal logic of coalitional goal assignments in concurrent multi-player games
We introduce and study a natural extension of the Alternating time tempo...
share
research
∙
01/14/2020
A circular proof system for the hybrid mu-calculus
We present a circular and cut-free proof system for the hybrid mu-calcul...
research
∙
04/16/2019
Completeness for Game Logic
Game logic was introduced by Rohit Parikh in the 1980s as a generalisati...
research
∙
10/29/2017
Disjunctive bases: normal forms and model theory for modal logics
We present the concept of a disjunctive basis as a generic framework for...
research
∙
10/12/2017
Flat modal fixpoint logics with the converse modality
We prove a generic completeness result for a class of modal fixpoint log...
research
∙
07/27/2017