"Lukasiewicz's 4-valued logic and normal modal logics."

Zoran Majkic, Bhanu Prasad (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics