Embedding modal logic problems into classical logics enables reliable solving by ATP systems on QMLTP, with advantages over native modal solvers for disproving and broader logic coverage.
Benzmüller, C.E
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2022 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Solving Quantified Modal Logic Problems by Translation to Classical Logics
Embedding modal logic problems into classical logics enables reliable solving by ATP systems on QMLTP, with advantages over native modal solvers for disproving and broader logic coverage.