Justification logic for constructive modal logic *

Roman Kuznets 1 Sonia Marin 2 Lutz Straßburger 2
2 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : We provide a treatement of the intuitionistic 3 modality in the style of justification logic. We introduce a new type of terms, called witness terms, that justify consistency, obtain justification analogs for the constructive modal logics CK, CD, CT, and CS4, and prove the realization theorem for them.
Type de document :
Document associé à des manifestations scientifiques
IMLA 2017 - 7th Workshop on Intuitionistic Modal Logic and Applications, Jul 2017, Toulouse, France. 2017, 〈https://sites.google.com/site/modallogicimla2017/home〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01614707
Contributeur : Lutz Straßburger <>
Soumis le : mercredi 11 octobre 2017 - 12:04:30
Dernière modification le : jeudi 10 mai 2018 - 02:06:33
Document(s) archivé(s) le : vendredi 12 janvier 2018 - 13:48:20

Fichier

main-IMLAversion.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01614707, version 1

Citation

Roman Kuznets, Sonia Marin, Lutz Straßburger. Justification logic for constructive modal logic *. IMLA 2017 - 7th Workshop on Intuitionistic Modal Logic and Applications, Jul 2017, Toulouse, France. 2017, 〈https://sites.google.com/site/modallogicimla2017/home〉. 〈hal-01614707〉

Partager

Métriques

Consultations de la notice

289

Téléchargements de fichiers

59