Justification Logic for Constructive Modal Logic.

We provide a treatment of the intuitionistic 3 modality in the style of justification logic. We introduce a new type of terms, called satisfiers, that justify consistency, obtain justification analogs for the constructive modal logics CK, CD, CT, and CS4, and prove the realization theorem for them.

Authors

• Roman Kuznets
• Sonia Marin
• Lutz Straßburger

Keywords

No keywords are indexed for this paper.