S. P. Odintsov, D. Skurt, and H. Wansing, “On Definability of Connectives and Modal Logics over FDE”, LLP, vol. 28, no. 4, pp. 631–659, Apr. 2019.