2 citations · 3 across the 16 of their papers we have counts for
Showing 2022 · cs.LOShow all
2 papers · 2 filters
cs.LO2022
Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability
Reijo Jaakkola
We study the computational complexity of model checking and satisfiability problems of polyadic modal logics extended with permutations and Boolean operators on accessibility relat…
cs.LO2022
Towards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version)
Bartosz Bednarczyk, Reijo Jaakkola
We consider the family of guarded and unguarded ordered logics, that constitute a recently rediscovered family of decidable fragments of first-order logic (FO), in which the order…