Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014
Vienna, Austria
Abstract
We present a syntactic abstraction method to reason about first-order modal logics by
using theorem provers for standard first-order logic and for propositional modal logic.