Aksjomatyzacja czterowartościowej logiki modalnej Łukasiewicza
[Axiomatization of Łukasiewicz's four-valued modal logic]