Solving Quantified Modal Logic Problems by Translation to Classical Logics

Alexander Steen, Geoff Sutcliffe, Christoph Benzmüller

This article describes an evaluation of Automated Theorem Proving (ATP) systems on problems taken from the QMLTP library of first-order modal logic problems. Principally, the probl…