학술논문
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Document Type
Working Paper
Source
Subject
Language
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.
Comment: appears in Automated Reasoning in Quantified Non-Classical Logics (2014)
Comment: appears in Automated Reasoning in Quantified Non-Classical Logics (2014)