Intuitionistic Logic As Epistemic Logic

被引：0

|

作者：

Jaakko Hintikka

机构：

[1] Boston University,Department of Philosophy

来源：

Synthese | 2001年 / 127卷

关键词：

Intuitionistic Logic; Epistemic Logic;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：7 / 19

页数：12

相关论文

共 50 条

[1] Intuitionistic logic as epistemic logic
Hintikka, J
SYNTHESE, 2001, 127 (1-2) : 7 - 19
[2] INTUITIONISTIC EPISTEMIC LOGIC
Artemov, Sergei
Protopopescu, Tudor
REVIEW OF SYMBOLIC LOGIC, 2016, 9 (02): : 266 - 298
[3] ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
WILLIAMSON, T
JOURNAL OF PHILOSOPHICAL LOGIC, 1992, 21 (01) : 63 - 89
[4] Bitopological models of intuitionistic epistemic logic
Onoprienko, A. A.
RUSSIAN MATHEMATICAL SURVEYS, 2024, 79 (01)
[5] Intuitionistic Epistemic Logic with Distributed Knowledge
Murai, Ryo
Sano, Katsuhiko
COMPUTACION Y SISTEMAS, 2022, 26 (02): : 823 - 834
[6] Sequent Calculus for Intuitionistic Epistemic Logic IEL
Krupski, Vladimir N.
Yatmanov, Alexey
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 187 - 201
[7] Epistemic extensions of combined classical and intuitionistic propositional logic
Lewitzka, Steffen
LOGIC JOURNAL OF THE IGPL, 2017, 25 (03) : 309 - 324
[8] Cut elimination and complexity bounds for intuitionistic epistemic logic
Krupski, Vladimir N.
JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (01) : 281 - 294
[9] An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory
Hirai, Yoichi
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-16), 2010, 6355 : 272 - 289
[10] Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic
Guido Fiorino
Journal of Automated Reasoning, 2023, 67

← 1 2 3 4 5 →