Deep Inference for Hybrid Logic

Lutz Straßburger 1, 2
2 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : This paper describes work in progress on using deep inference for designing a deductive system for hybrid logic. We will see a cut-free system and prove its soundness and completeness. An immediate observation about the system is that there is no need for additional rewrite rules as in Blackburn's tableaux, nor substitution rules as in Seligman's sequent system.
Type de document :
Communication dans un congrès
International Workshop on Hybrid Logic 2007 (HyLo 2007), Aug 2007, Dublin, Ireland
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00165998
Contributeur : Lutz Straßburger <>
Soumis le : mardi 31 juillet 2007 - 10:21:48
Dernière modification le : mercredi 14 novembre 2018 - 16:14:01
Document(s) archivé(s) le : vendredi 9 avril 2010 - 00:14:34

Fichier

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

Identifiants

  • HAL Id : inria-00165998, version 1

Collections

Citation

Lutz Straßburger. Deep Inference for Hybrid Logic. International Workshop on Hybrid Logic 2007 (HyLo 2007), Aug 2007, Dublin, Ireland. 〈inria-00165998〉

Partager

Métriques

Consultations de la notice

257

Téléchargements de fichiers

75