On the complexity of Maslov's class $\overline{\text{K}}$

Oskar Fiuk, Emanuel Kieronski, Vincent Michielini

Maslov's class $\overline{\text{K}}$ is an expressive fragment of First-Order Logic known to have decidable satisfiability problem, whose exact complexity, however, has not been es…