research
∙
03/17/2022
Unified inverse correspondence for DLE-Logics
By exploiting the algebraic and order theoretic mechanisms behind Sahlqv...
share
research
∙
02/02/2022
Modal reduction principles across relational semantics
The present paper establishes systematic connections among the first-ord...
research
∙
08/14/2021
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report)
The non-deterministic algorithmic procedure PEARL (an acronym for `Propo...
research
∙
06/30/2019
Rough concepts
The present paper proposes a novel way to unify Rough Set Theory and For...
research
∙
09/12/2018
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)
There are two natural and well-studied approaches to temporal ontology a...
research
∙
05/22/2018
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)
There are two natural and well-studied approaches to temporal ontology a...
research
∙
07/27/2017