|
This article is cited in 1 scientific paper (total in 1 paper)
MATHEMATICS
Semiproducts, products, and modal predicate logics: some examples
V. B. Shehtmana, D. P. Shkatovb a Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia
b School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, South Africa
Abstract:
We study two kinds of combined modal logics, semiproducts and products with S5, and their correlation with modal predicate logics. We obtain examples of propositional modal logics when these semiproducts or products are axiomatized in the minimal way (semiproduct- or product-matching with S5), as well as counterexamples for these properties. The fmp for (semi)products together with (semi)product-matching allow us to show decidability of corresponding 1-variable modal predicate logics.
Keywords:
semiproducts of modal logics, products of modal logics, predicate modal logic.
Citation:
V. B. Shehtman, D. P. Shkatov, “Semiproducts, products, and modal predicate logics: some examples”, Dokl. RAN. Math. Inf. Proc. Upr., 513 (2023), 99–107; Dokl. Math., 108:2 (2023), 411–418
Linking options:
https://www.mathnet.ru/eng/danma422 https://www.mathnet.ru/eng/danma/v513/p99
|
Statistics & downloads: |
Abstract page: | 54 | References: | 15 |
|