Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II
Christoph Benzmüller, Lawrence Charles Paulson · 2008
There are two well investigated approaches to automate reasoning in modal logics: the direct approach and the translational approach. The direct approach [6, 7, 14, 27] develops specific calculi and tools for the task; the translational approach [29, 30] transforms modal logic formulas into firstorder