research
∙
05/25/2021
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages
We study the algorithmic properties of first-order monomodal logics of f...
share
research
∙
11/21/2019
Recursive enumerability and elementary frame definability in predicate modal logic
We investigate the relationship between recursive enumerability and elem...
research
∙
10/05/2019
Complexity of finite-variable fragments of propositional modal logics of symmetric frames
While finite-variable fragments of the propositional modal logic S5–comp...
research
∙
01/18/2019
Complexity and expressivity of propositional dynamic logics with finitely many variables
We investigate the complexity of satisfiability for finite-variable frag...
research
∙
10/22/2018