We provide a treatment of the intuitionistic ◊ 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.
|Number of pages||20|
|Journal||Journal of Applied Logics - IfCoLog|
|Publication status||Published - 30 Sept 2021|