Tkaczyk, M. (2011) “On axiomatization of Łukasiewicz’s four-valued modal logic”, Logic and Logical Philosophy, 20(3), pp. 215–232. doi: 10.12775/LLP.2011.012.