Justification logic for constructive modal logic * - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Documents Associated With Scientific Events Year : 2017

Justification logic for constructive modal logic *

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.
Fichier principal
Vignette du fichier
main-IMLAversion.pdf (203.29 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01614707 , version 1

Cite

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⟩
418 View
275 Download

Share

Gmail Facebook X LinkedIn More