Download PDFOpen PDF in browserCoalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics16 pages•Published: December 14, 2015AbstractWe 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.Keyphrases: modal logic, temporal logic, tla In: Christoph Benzmüller and Jens Otten (editors). ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics, vol 33, pages 1-16.
|