research
∙
07/18/2023
Complete representation by partial functions for signatures containing antidomain restriction
We investigate notions of complete representation by partial functions, ...
share
research
∙
06/27/2023
Gödel-Dummett linear temporal logic
We investigate a version of linear temporal logic whose propositional fr...
research
∙
05/08/2023
Preservation theorems for Tarski's relation algebra
We investigate a number of semantically defined fragments of Tarski's al...
research
∙
06/14/2022
EXPTIME-hardness of higher-dimensional Minkowski spacetime
We prove the EXPTIME-hardness of the validity problem for the basic temp...
research
∙
05/10/2022
A Gödel Calculus for Linear Temporal Logic
We consider Gödel temporal logic (GTL), a variant of linear temporal log...
research
∙
05/01/2022
Time and Gödel: Fuzzy temporal reasoning in PSPACE
We investigate a non-classical version of linear temporal logic whose pr...
research
∙
12/01/2020
Difference-restriction algebras of partial functions with operators: discrete duality and completion
We exhibit an adjunction between a category of abstract algebras of part...
research
∙
11/30/2020
Difference-restriction algebras of partial functions: axiomatisations and representations
We investigate the representation and complete representation classes fo...
research
∙
07/24/2019
Free Kleene algebras with domain
First we identify the free algebras of the class of algebras of binary r...
research
∙
06/26/2018