Scientific Reports:
R. Kuznets, S. Marin, L. Strassburger:
"Justification logic for constructive modal logic";
Report for HAL;
Report No. 01614707,
2017;
12 pages.
English 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.
Electronic version of the publication:
https://hal.inria.fr/hal-01614707
Created from the Publication Database of the Vienna University of Technology.