 The given examples show how the product strategy can be used to ‘temporalize’ and/or ‘epistemize’ a given modal system (Kaplan’s semantic framework can be understood as the temporalization of an alethic system, and the described Facebook Logic can be understood as the ‘epistemization’ of a social network setting). For more on the products of modal logics, the reader is referred to the already-mentioned  combining logics,  and also to Gabbay et al. (2003: Chapter 5), Kurucz (2006: Section 3) and van Benthem, Bezhanishvili, et al. (2006).