research
∙
10/06/2021
One-Dimensional Fragment over Words and Trees
One-dimensional fragment of first-order logic is obtained by restricting...
share
research
∙
01/21/2021
Finite Model Theory of the Triguarded Fragment and Related Logics
The Triguarded Fragment (TGF) is among the most expressive decidable fra...
research
∙
04/09/2019
One-dimensional guarded fragments
We call a first-order formula one-dimensional if its every maximal block...
research
∙
12/11/2018
On the Complexity of Graded Modal Logics with Converse
A complete classification of the complexity of the local and global sati...
research
∙
09/10/2018
Finite Satisfiability of Unary Negation Fragment with Transitivity
We show that the finite satisfiability problem for the unary negation fr...
research
∙
02/05/2018