E. Bezerra and G. Venturi, “Many-Valued Logics and Bivalent Modalities”, LLP, vol. 31, no. 4, pp. 611–636, Apr. 2022.