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-01063512
Contributor : Stephan Merz <>
Submitted on : Friday, September 12, 2014 - 11:50:55 AM
Last modification on : Tuesday, February 19, 2019 - 3:40:03 PM
Long-term archiving on : Saturday, December 13, 2014 - 10:39:00 AM

Files

final.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01063512, version 1
  • ARXIV : 1409.3819

Citation

Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz. Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. ARQNL 2014 - Automated Reasoning in Quantified Non-Classical Logics, Jul 2014, Vienna, Austria. ⟨hal-01063512⟩

Share

Metrics

Record views

500

Files downloads

256