research
∙
07/02/2020
"Most of" leads to undecidability: Failure of adding frequencies to LTL
Linear Temporal Logic (LTL) interpreted on finite traces is a robust spe...
share
research
∙
02/11/2020
Modular Path Queries with Arithmetic
We propose a new approach to querying graph databases. Our approach bala...
research
∙
09/10/2018
Elementary Multimodal Logics
We study multimodal logics over universally first-order definable classe...
research
∙
10/12/2017