Marta Bílková, Sabine Frittella & Daniil Kozhemiachenko, "Crisp Bi-Gödel modal logic and its paraconsistent expansion", Logic Journal of the IGPL,  September  28, 2023.