Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2015

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

Résumé

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
final.pdf (225.37 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Stephan Merz  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01063512

Soumis le : vendredi 12 septembre 2014-11:50:55

Dernière modification le : vendredi 6 décembre 2024-03:19:40

Archivage à long terme le : samedi 13 décembre 2014-10:39:00

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
304 Consultations
397 Téléchargements

Altmetric

Partager

More