 The product of modal logics is a many-dimensional modal logic (Gabbay et al. 2003; Marx &amp; Venema 1997; Venema 1992). Within these models, formulas are now evaluated in pairs \((w_1, w_2)\), with each modality semantically interpreted in the standard way (but now with respect the new version of its matching relation):