Paraconsistent Gdel Modal Logic.

Marta Blkov, Sabine Frittella, Daniil Kozhemiachenko

Browse the full CADE paper archive.