Odintsov, S. P.; Skurt, D.; Wansing, H. On Definability of Connectives and Modal Logics over FDE. LLP 2019, 28, 631-659.