Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01244623
Contributor : Stephan Merz <>
Submitted on : Wednesday, December 16, 2015 - 2:20:10 PM
Last modification on : Tuesday, February 19, 2019 - 3:40:03 PM
Long-term archiving on : Thursday, March 17, 2016 - 11:20:19 AM

Files

final.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01244623, version 1

Citation

Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz. Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014), Aug 2014, Vienna, Austria. pp.1-16. ⟨hal-01244623⟩

Share

Metrics

Record views

249

Files downloads

301