Justification logic for constructive modal logic * - Laboratoire d'informatique de l'école polytechnique Accéder directement au contenu
Document Associé À Des Manifestations Scientifiques Année : 2017

Justification logic for constructive modal logic *

Résumé

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.
Fichier principal
Vignette du fichier
main-IMLAversion.pdf (203.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01614707 , version 1 (11-10-2017)

Identifiants

  • HAL Id : hal-01614707 , version 1

Citer

Roman Kuznets, Sonia Marin, Lutz Strassburger. Justification logic for constructive modal logic *. IMLA 2017 - 7th Workshop on Intuitionistic Modal Logic and Applications, Jul 2017, Toulouse, France. , 2017. ⟨hal-01614707⟩
430 Consultations
291 Téléchargements

Partager

Gmail Facebook X LinkedIn More