Abstract
In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are decidable and have the finite model property.
Similar content being viewed by others
References
Gabbay, D., V. Shehtman, 'Products of modal logics, part 1', Logic Journal of the IGPL 6:73-146, 1998.
Gabbay, D., V. Shehtman, 'Products of modal logics, part 2', Logic Journal of the IGPL 8:165-210, 2000.
Hirsch, R., I. Hodkinson, and A. Kurucz, 'On modal logics between K 3 and S5 3', Journal of Symbolic Logic, to appear.
Marx, M., 'Complexity of products of modal logics', Journal of Logic and Computation 9:197-214, 1999.
Reynolds, M., and M. Zakharyaschev, 'On the products of linear modal logics', Journal of Logic and Computation, to appear.
Shehtman, V., 'Two-dimensional modal logics', Math. Zametki 23:759-772, 1978 (in Russian).
Shehtman, V., 'On some two-dimensional modal logics', In 8th International Congress on Logic, Methodology, and Philosophy of Science, Moscow, Abstracts, 1:326-330, 1987.
Wolter, F., 'The product of converse PDL and polymodal K', Journal of Logic and Computation 10:223-251, 2000.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gabbay, D., Shehtman, V. Products of Modal Logics. Part 3: Products of Modal and Temporal Logics. Studia Logica 72, 157–183 (2002). https://doi.org/10.1023/A:1021304426509
Issue Date:
DOI: https://doi.org/10.1023/A:1021304426509