van Benthem, J.; Bezhanishvili, G.; ten Cate, B.; Sarenac, D. Multimodal logics of products of topologies. (English) Zbl 1113.03018 Stud. Log. 84, No. 3, 369-392 (2006). Reviewer: G. E. Mints (Stanford) MSC: 03B45 54B10 PDFBibTeX XMLCite \textit{J. van Benthem} et al., Stud. Log. 84, No. 3, 369--392 (2006; Zbl 1113.03018) Full Text: DOI
Baader, Franz; Ghilardi, Silvio; Tinelli, Cesare A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. (English) Zbl 1098.03048 Inf. Comput. 204, No. 10, 1413-1452 (2006). MSC: 03D40 03B25 03B45 PDFBibTeX XMLCite \textit{F. Baader} et al., Inf. Comput. 204, No. 10, 1413--1452 (2006; Zbl 1098.03048) Full Text: DOI