Decidability of Quasi-Dense Modal Logics.

Tim S. Lyon, Piotr Ostropolski-Nalewaja

Browse the full LICS paper archive.