Record link: 
http://hdl.handle.net/20.500.12708/190905
-
Title: 
Epistemic possibility in intuitionistic epistemic logic
en
Citation: 
Kawakami Pacheco, L. (2023, December 11). Epistemic possibility in intuitionistic epistemic logic [Presentation]. RIMS共同研究(公開型)「証明論と計算論の最前線」, Japan.
-
Publication Type: 
Presentation - Presentation
en
Language: 
English
-
Authors: 
Kawakami Pacheco, Leonardo 
-
Organisational Unit: 
E104-02 - Forschungsbereich Computational Logic 
-
Date (published): 
11-Dec-2023
-
Event name: 
RIMS共同研究(公開型)「証明論と計算論の最前線」 
-
Event date: 
11-Dec-2023 - 14-Dec-2023
-
Event place: 
Japan
-
Keywords: 
epistemic logic; constructive logic; BHK interpretation
en
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
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
1020 - Informatik: 5%
1010 - Mathematik: 95%
-
Appears in Collections:
Presentation

Show full item record

Page view(s)

34
checked on Jan 2, 2024

Google ScholarTM

Check