M. Tkaczyk, “On axiomatization of Łukasiewicz’s four-valued modal logic”, LLP, vol. 20, no. 3, pp. 215–232, Nov. 2011.