research
∙
05/30/2023
The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies
Alternating-time temporal logic (ATL) and its extensions, including the ...
share
research
∙
05/18/2023
COOL 2 – A Generic Reasoner for Modal Fixpoint Logics
There is a wide range of modal logics whose semantics goes beyond relati...
research
∙
05/01/2022
Uniform Interpolation in Coalgebraic Modal Logic
A logic has uniform interpolation if its formulas can be projected down ...
research
∙
12/27/2020
Modal meet-implication logic
We extend the meet-implication fragment of propositional intuitionistic ...
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
∙
10/11/2019
Constructive Domains with Classical Witnesses
We develop a constructive theory of continuous domains from the perspect...
research
∙
05/31/2019
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic
The fuzzy modality `probably` is interpreted over probabilistic type spa...
research
∙
10/10/2018
A van Benthem Theorem for Quantitative Probabilistic Modal Logic
In probabilistic transition systems, behavioural metrics provide a more ...
research
∙
02/21/2018
A New Foundation for Finitary Corecursion and Iterative Algebras
This paper contributes to a theory of the behaviour of "finite-state" sy...
research
∙
02/01/2018
A van Benthem Theorem for Fuzzy Modal Logic
We present a fuzzy (or quantitative) version of the van Benthem theorem,...
research
∙
01/05/2010