<div class="csl-bib-body">
<div class="csl-entry">Kawakami Pacheco, L. (2023, December 11). <i>Epistemic possibility in intuitionistic epistemic logic</i> [Presentation]. RIMS共同研究(公開型)「証明論と計算論の最前線」, Japan.</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/190905
-
dc.description.abstract
Artemov and Protopopescu defined an intuitionistic epistemic logic IEL to reason about intuitionistic knowledge. While classical knowledge implies classical truth, intuitionistic truth implies intuitionistic knowledge. We describe Artemov and Protopopescu's IEL and its BHK interpretation. We characterize epistemic possibility in IEL.
en
dc.language.iso
en
-
dc.subject
epistemic logic
en
dc.subject
constructive logic
en
dc.subject
BHK interpretation
en
dc.title
Epistemic possibility in intuitionistic epistemic logic
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.type.category
Presentation
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-02 - Forschungsbereich Computational Logic
-
tuw.author.orcid
0000-0002-7703-7990
-
tuw.event.name
RIMS共同研究(公開型)「証明論と計算論の最前線」
-
tuw.event.startdate
11-12-2023
-
tuw.event.enddate
14-12-2023
-
tuw.event.online
Hybrid
-
tuw.event.type
Event for scientific audience
-
tuw.event.country
JP
-
tuw.event.presenter
Kawakami Pacheco, Leonardo
-
tuw.presentation.online
Online
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
5
-
wb.sciencebranch.value
95
-
item.languageiso639-1
en
-
item.openairetype
conference presentation
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/R60J-J5BD
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.orcid
0000-0002-7703-7990
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
