Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

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

(1) , (2) , (3) , (2) , (4)
1
2
3
4

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.
Fichier principal
Vignette du fichier
final.pdf (225.37 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01063512 , version 1 (12-09-2014)

Identifiers

Cite

Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz. Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. ARQNL 2014 - The first International Workshop on Automated Reasoning in Quantified Non-Classical Logics, Jul 2014, Vienna, Austria. pp.1-16. ⟨hal-01063512⟩
284 View
373 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More