Wissenschaftliche Berichte:
R. Kuznets, S. Marin, L. Strassburger:
"Justification logic for constructive modal logic";
Bericht für HAL;
Berichts-Nr. 01614707,
2017;
12 S.
Kurzfassung englisch:
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.
Elektronische Version der Publikation:
https://hal.inria.fr/hal-01614707
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.