Label-free Modular Systems for Classical and Intuitionistic Modal Logics

Sonia Marin 1, 2 Lutz Straßburger 3, 4
4 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : In this paper we show for each of the modal axioms d, t, b, 4, and 5 an equivalent set of inference rules in a nested sequent system, such that, when added to the basic system for the modal logic K, the resulting system admits cut elimination. Then we show the same result also for intuitionistic modal logic. We achieve this by combining structural and logical rules.
Type de document :
Communication dans un congrès
Advances in Modal Logic 10, Aug 2014, Groningen, Netherlands. 〈http://www.philos.rug.nl/AiML2014/cfp.html〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01092148
Contributeur : Lutz Straßburger <>
Soumis le : lundi 8 décembre 2014 - 13:37:04
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : samedi 15 avril 2017 - 04:15:06

Fichier

modul-modal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01092148, version 1

Collections

Citation

Sonia Marin, Lutz Straßburger. Label-free Modular Systems for Classical and Intuitionistic Modal Logics. Advances in Modal Logic 10, Aug 2014, Groningen, Netherlands. 〈http://www.philos.rug.nl/AiML2014/cfp.html〉. 〈hal-01092148〉

Partager

Métriques

Consultations de la notice

275

Téléchargements de fichiers

81