Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
| Title | Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Doligez, D, Kriener, J, Lamport, L, Libal, T, Merz, S |
| Conference Name | Automated Reasoning in Quantified Non-Classical Logics |
| Conference Location | 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. |
PDF (Full text):
Work Package:
WP2
