Areces, Carlos Eduardo; Fontaine, Pascal; Merz, Stephan (2015)
Modal logics extend classical propositional logic, and they are robustly decidable. Whereas most existing decision procedures for modal logics are based on tableau constructions, we propose a framework for obtaining decision ...