research
∙
07/13/2023
Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata
Automata operating on infinite objects feature prominently in the theory...
share
research
∙
07/04/2023
Focus-style proofs for the two-way alternation-free μ-calculus
We introduce a cyclic proof system for the two-way alternation-free moda...
research
∙
09/17/2021
Filtration and canonical completeness for continuous modal mu-calculi
The continuous modal mu-calculus is a fragment of the modal mu-calculus,...
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
∙
03/02/2021
Focus-style proof systems and interpolation for the alternation-free μ-calculus
In this paper we introduce a cut-free sequent calculus for the alternati...
research
∙
10/27/2020
Size matters in the modal μ-calculus
We discuss and compare complexity measures for the modal μ-calculus, foc...
research
∙
04/16/2019
Completeness for Game Logic
Game logic was introduced by Rohit Parikh in the 1980s as a generalisati...
research
∙
09/10/2018
Model Theory of Monadic Predicate Logic with the Infinity Quantifier
This paper establishes model-theoretic properties of FOE^∞, a variation ...
research
∙
09/10/2018
The Power of the Weak
A landmark result in the study of logics for formal verification is Jani...
research
∙
01/18/2018
Some model theory for the modal μ-calculus: syntactic characterisations of semantic properties
This paper contributes to the theory of the modal μ-calculus by proving ...
research
∙
10/29/2017
