Computational complexity of one-variable fragments of products with T

K. Aleksandrov, M. Rybakov, D. Shkatov

We show that products of propositional modal logics containing the logic of reflexive frames T as a factor are embeddable into their single-variable fragments. The proof is a simpl…