R. Kuznets, S. Marin, L. Strassburger:
"Justification logic for constructive modal logic";
Report for HAL;
Report No. 01614707,
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:
Created from the Publication Database of the Vienna University of Technology.