Paraconsistent Constructive Modal Logic.

Han Gao, Daniil Kozhemiachenko, Nicola Olivetti

Browse the full WoLLIC paper archive.