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.
Type de document :
Communication dans un congrès
ARQNL 2014 - Automated Reasoning in Quantified Non-Classical Logics, Jul 2014, Vienna, Austria. 2014
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01063512
Contributeur : Stephan Merz <>
Soumis le : vendredi 12 septembre 2014 - 11:50:55
Dernière modification le : jeudi 22 septembre 2016 - 14:31:42
Document(s) archivé(s) le : samedi 13 décembre 2014 - 10:39:00

Fichiers

final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Collections

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. 2014. 〈hal-01063512〉

Partager

Métriques

Consultations de
la notice

375

Téléchargements du document

156