Decidability of Quasi-Dense Modal Logics

Piotr Ostropolski-Nalewaja, Tim S. Lyon

The decidability of axiomatic extensions of the modal logic K with modal reduction principles, i.e. axioms of the form ${◊}^{k}p\to {◊}^{n}p$, has remained a l…