Affiliation:
1. Steklov Mathematical Institute, Russian Academy of Sciences
2. University of the Witwatersrand
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.
Publisher
The Russian Academy of Sciences
Reference16 articles.
1. Segerberg K. “Two-dimensional modal logic,” Journal of Philosophical Logic. 1973. V. 2. № 1. P. 77–96.
2. Шехтман В.Б. “Двумерные модальные логики,” Математические заметки. 1978. Т. 23. С. 759–772.
3. Gabbay D., Kurucz A., Wolter F., Zakharyaschev M. Many-Dimensional Modal Logics: Theory and Applications. Elsevier, 2003.
4. Kurucz A. “Combining modal logics,” In: P. Blackburn, eds, Handbook of Modal Logic (Elsevier, 2008), p. 869–924.
5. Fischer-Servi G. “On modal logic with an intuitionistic base,” Studia Logica. 1977. V. 36. P. 141–149.