Karpenko, A. S. Four-Valued Logics BD and DM4: Expansions. B Sect Log 2017, 46, 33–45.