Tkaczyk, M. On Axiomatization of Łukasiewicz’s Four-Valued Modal Logic. LLP 2011, 20, 215-232.