Proof theory for indexed nested sequents

Sonia Marin 1 Lutz Straßburger 1
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : Fitting's indexed nested sequents can be used to give deduc-tive systems to modal logics which cannot be captured by pure nested sequents. In this paper we show how the standard cut-elimination procedure for nested sequents can be extended to indexed nested sequents, and we discuss how indexed nested sequents can be used for intuitionistic modal logics.
Type de document :
Communication dans un congrès
TABLEAUX 2017 - Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2017, Brasilia, Brazil. 10501, pp.81-97, 2017, LNCS
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01635935
Contributeur : Lutz Straßburger <>
Soumis le : mercredi 15 novembre 2017 - 22:29:55
Dernière modification le : mercredi 14 novembre 2018 - 16:14:01
Document(s) archivé(s) le : vendredi 16 février 2018 - 15:43:38

Fichier

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

Identifiants

  • HAL Id : hal-01635935, version 1

Citation

Sonia Marin, Lutz Straßburger. Proof theory for indexed nested sequents. TABLEAUX 2017 - Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2017, Brasilia, Brazil. 10501, pp.81-97, 2017, LNCS. 〈hal-01635935〉

Partager

Métriques

Consultations de la notice

111

Téléchargements de fichiers

30