Justification logic for constructive modal logic

Roman Kuznets, Sonia Marin, Lutz Straßburger

Research output: Contribution to journalArticlepeer-review

Abstract

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.
Original languageEnglish
Pages (from-to)2313-2332
Number of pages20
JournalJournal of Applied Logics - IfCoLog
Volume8
Issue number8
Publication statusPublished - 30 Sept 2021

Fingerprint

Dive into the research topics of 'Justification logic for constructive modal logic'. Together they form a unique fingerprint.

Cite this