Computational complexity of one-variable fragments of products with T
From MaRDI portal
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.
This page was built for publication: Computational complexity of one-variable fragments of products with T
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6385038)
