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