Computational complexity of one-variable fragments of products with T

TL;DR

This paper demonstrates that products of certain propositional modal logics, including T, can be embedded into their single-variable fragments, simplifying previous complex proofs for related logics.

Contribution

It provides a simplified proof showing embeddings of products of modal logics with T into their single-variable fragments, extending prior results for more complex logics.

Findings

Products with T are embeddable into single-variable fragments

Simplified proof method for embedding results

Extension of previous results to new modal logic classes

Abstract

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 simplified version of the proof, to appear, of a similar result for products and expanding relativized products containing as a factor the logic KTB of reflexive and symmetric Kripke frames.