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/12/2019
Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
We prove that the universal theory and the quasi-equational theory of bo...
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
Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables
We show that Branching-time temporal logics CTL and CTL*, as well as Alt...
research
∙
01/25/2012