research
∙
06/14/2022
EXPTIME-hardness of higher-dimensional Minkowski spacetime
We prove the EXPTIME-hardness of the validity problem for the basic temp...
share
research
∙
05/14/2021
Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition
Relation algebra and its reducts provide us with a strong tool for reaso...
research
∙
09/25/2020
The algebra of non-deterministic programs: demonic operators, orders and axioms
Demonic composition, demonic refinement and demonic union are alternativ...
research
∙
09/15/2020
Finite Representability of Semigroups with Demonic Refinement
Composition and demonic refinement ⊑ of binary relations are defined by ...
research
∙
06/26/2018
The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable
We work primarily with the Kripke frame consisting of two-dimensional Mi...
research
∙
06/29/2016