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
∙
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
∙
11/18/2020
Query Expressibility and Verification in Ontology-Based Data Access
In ontology-based data access, multiple data sources are integrated usin...
research
∙
10/27/2020
Size matters in the modal μ-calculus
We discuss and compare complexity measures for the modal μ-calculus, foc...
research
∙
05/31/2020
Conditional Logic is Complete for Convexity in the Plane
We prove completeness of preferential conditional logic with respect to ...
research
∙
01/21/2020
A Journey into Ontology Approximation: From Non-Horn to Horn
We study complete approximations of an ontology formulated in a non-Horn...
research
∙
01/21/2020
A Journey into Ontology Approximation: From Non-Horn to Hon
We study complete approximations of an ontology formulated in a non-Horn...
research
∙
04/16/2019