Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Logic in Computer Science
2014-09-15 v1
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.
Cite
@article{arxiv.1409.3819,
title = {Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics},
author = {Damien Doligez and Jael Kriener and Leslie Lamport and Tomer Libal and Stephan Merz},
journal= {arXiv preprint arXiv:1409.3819},
year = {2014}
}
Comments
appears in Automated Reasoning in Quantified Non-Classical Logics (2014)