research
∙
07/27/2023
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
Coalgebra, as the abstract study of state-based systems, comes naturally...
share
research
∙
06/02/2023
Quantitative Graded Semantics and Spectra of Behavioural Metrics
Behavioural metrics provide a quantitative refinement of classical two-v...
research
∙
07/19/2022
Quantitative Hennessy-Milner Theorems via Notions of Density
The classical Hennessy-Milner theorem is an important tool in the analys...
research
∙
02/14/2022
Quantalic Behavioural Distances
Behavioural distances measure the deviation between states in quantitati...
research
∙
12/23/2021
A Point-free Perspective on Lax extensions and Predicate liftings
In this paper we have a fresh look at the connection between lax extensi...
research
∙
07/02/2020
Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions
Behavioural distances provide a fine-grained measure of equivalence in s...
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/01/2018