K. A. Krawczyk, “Fibring Epistemic and Temporal Logics”, LLP, vol. 28, no. 1, pp. 195–199, Mar. 2019.