Products of modal logics and tensor products of modal algebras

Journal of Applied Logic. 2014. Vol. 12. No. 4. P. 570–583.

Gabbay D., Shapirovsky I., Шехтман В. Б.

One of natural combinations of Kripke complete modal logics is the product, an operation that has been extensively investigated over the last 15 years. In this paper we consider its analogue for arbitrary modal logics: to this end, we use product-like constructions on general frames and modal algebras. This operation was first introduced by Y. Hasimoto in 2000; however, his paper remained unnoticed until recently. In the present paper we quote some important Hasimoto’s results, and reconstruct the product operation in an algebraic setting: the Boolean part of the resulting modal algebra is exactly the tensor product of original algebras (regarded as Boolean rings). Also, we propose a filtration technique for Kripke models based on tensor products and obtain some decidability results.

Ключевые слова: finite model property, product of modal logics, финитная аппроксимируемость, filtration, tensor product, logical invariance, modal algebra, tabular logic, Произведение модальных логик, тензорное произведение, логическая инвариантность, модальная алгебра, табличная логика