Computational complexity of one-variable fragments of products with T
| Autor: | Aleksandrov, K., Rybakov, M., Shkatov, D. |
|---|---|
| Jazyk: | ruština |
| Rok vydání: | 2021 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | 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. Comment: 10 pages, in Russian |
| Databáze: | arXiv |
| Externí odkaz: |
|