Justification logic for constructive modal logic

Roman Kuznets; Sonia Marin; Lutz Straßburger

Justification logic for constructive modal logic

Roman Kuznets, Sonia Marin, Lutz Straßburger

Computer Science

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	2313-2332
Number of pages	20
Journal	Journal of Applied Logics - IfCoLog
Volume	8
Issue number	8
Publication status	Published - 30 Sept 2021

Access to Document

https://www.collegepublications.co.uk/ifcolog/?00050Licence: Creative Commons: Attribution-NonCommercial-NoDerivs (CC BY-NC-ND)

Cite this

@article{b99ef31708be460e94aa5527da326127,

title = "Justification logic for constructive modal logic",

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.",

author = "Roman Kuznets and Sonia Marin and Lutz Stra{\ss}burger",

year = "2021",

month = sep,

day = "30",

language = "English",

volume = "8",

pages = "2313--2332",

journal = "Journal of Applied Logics - IfCoLog",

publisher = "College Publications",

number = "8",

}

TY - JOUR

T1 - Justification logic for constructive modal logic

AU - Kuznets, Roman

AU - Marin, Sonia

AU - Straßburger, Lutz

PY - 2021/9/30

Y1 - 2021/9/30

N2 - 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.

AB - 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.

UR - https://www.collegepublications.co.uk/ifcolog/about/

M3 - Article

VL - 8

SP - 2313

EP - 2332

JO - Journal of Applied Logics - IfCoLog

JF - Journal of Applied Logics - IfCoLog

IS - 8

ER -

Justification logic for constructive modal logic

Abstract

Access to Document

Fingerprint

Cite this