<div class="csl-bib-body">
<div class="csl-entry">Kuznets, R., Marin, S., & Straßburger, L. (2021). Justification logic for constructive modal logic. <i>Journal of Applied Logics</i>, <i>8</i>(8), 2313–2332. https://doi.org/10.34726/2943</div>
</div>
-
dc.identifier.issn
2631-9810
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/135853
-
dc.identifier.uri
https://doi.org/10.34726/2943
-
dc.description.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.
en
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.description.sponsorship
Vereine, Stiftungen, Preise
-
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
en
-
dc.publisher
College Publications
-
dc.relation.ispartof
Journal of Applied Logics
-
dc.rights.uri
http://creativecommons.org/licenses/by-nc-nd/4.0/
-
dc.subject
constructive modal logic
en
dc.subject
Justification Logic
en
dc.subject
Realization
en
dc.subject
sequent calculus
en
dc.title
Justification logic for constructive modal logic
en
dc.type
Article
en
dc.type
Artikel
de
dc.rights.license
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
en
dc.rights.license
Creative Commons Namensnennung - Nicht kommerziell - Keine Bearbeitungen 4.0 International
de
dc.identifier.doi
10.34726/2943
-
dc.contributor.affiliation
University of Birmingham, United Kingdom of Great Britain and Northern Ireland (the)
-
dc.contributor.affiliation
Inria Saclay - Île-de-France Research Centre, France
-
dc.description.startpage
2313
-
dc.description.endpage
2332
-
dc.relation.grantno
P25417-G15
-
dc.relation.grantno
M 1770-N25
-
dc.relation.grantno
ZK 35-G
-
dc.relation.grantno
I 2671-N35
-
dc.relation.grantno
P 33600-N
-
dcterms.dateSubmitted
2017-10-11
-
dc.rights.holder
Roman Kuznets, Sonia Marin, Lutz Straßburger, and College Publications 2021
-
dc.type.category
Original Research Article
-
tuw.container.volume
8
-
tuw.container.issue
8
-
tuw.container.isbn
9781848903777
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
true
-
wb.publication.intCoWork
International Co-publication
-
tuw.project.title
Ein logisches Bezugssystem für Dialogspiele
-
tuw.project.title
Verschachtelte Sequenzen für Interpolation und Realisation
-
tuw.project.title
High-dimensional statistical learning: New methods to advance economic andsustainability policies
-
tuw.project.title
The Fine Structure of Formal Proof Systems and their Computational Interpretations - nationale Forschungspartnerschaft mit Georg Moser/Universität Innsbruck
-
tuw.project.title
Reasoning about Knowledge in Byzantine Distributed Systems
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
Journal of Applied Logics
-
tuw.publication.orgunit
E191-02 - Forschungsbereich Embedded Computing Systems
-
dc.identifier.articleid
2-s2.0-85116426926
-
dc.identifier.eissn
2631-9829
-
dc.identifier.libraryid
AC17203737
-
dc.description.numberOfPages
20
-
tuw.author.orcid
0000-0001-5894-8724
-
tuw.author.orcid
0000-0003-4661-6540
-
dc.rights.identifier
CC BY-NC-ND 4.0
en
dc.rights.identifier
CC BY-NC-ND 4.0
de
dc.description.sponsorshipexternal
ERC Advanced Grant
-
dc.description.sponsorshipexternal
Austrian–French Scientific & Technological Cooperation Amadeus/Amadée grant
-
dc.relation.grantnoexternal
ProofCert
-
dc.relation.grantnoexternal
Analytic Calculi for Modal Logic
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.openaccessfulltext
Open Access
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.grantfulltext
open
-
item.fulltext
with Fulltext
-
item.mimetype
application/pdf
-
item.openairetype
research article
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems
-
crisitem.author.dept
University of Birmingham
-
crisitem.author.dept
Inria Saclay - �le-de-France Research Centre
-
crisitem.author.orcid
0000-0001-5894-8724
-
crisitem.author.orcid
0000-0003-4661-6540
-
crisitem.author.parentorg
E191 - Institut für Computer Engineering
-
crisitem.project.funder
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
crisitem.project.funder
Vereine, Stiftungen, Preise
-
crisitem.project.funder
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
