Bitopological models of intuitionistic epistemic logic

被引：0

|

作者：

Onoprienko, A. A. ^{[1
]}

机构：

[1] HSE Univ, Moscow, Russia

来源：

RUSSIAN MATHEMATICAL SURVEYS | 2024年 / 79卷 / 01期

关键词：

D O I：

10.4213/rm10149e

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页数：4

相关论文

共 50 条

[1] Intuitionistic Logic As Epistemic Logic
Jaakko Hintikka
Synthese, 2001, 127 : 7 - 19
[2] Intuitionistic logic as epistemic logic
Hintikka, J
SYNTHESE, 2001, 127 (1-2) : 7 - 19
[3] INTUITIONISTIC EPISTEMIC LOGIC
Artemov, Sergei
Protopopescu, Tudor
REVIEW OF SYMBOLIC LOGIC, 2016, 9 (02): : 266 - 298
[4] Intuitionistic Epistemic Logic, Kripke Models and Fitch's Paradox
Proietti, Carlo
JOURNAL OF PHILOSOPHICAL LOGIC, 2012, 41 (05) : 877 - 900
[5] Intuitionistic Epistemic Logic, Kripke Models and Fitch’s Paradox
Carlo Proietti
Journal of Philosophical Logic, 2012, 41 : 877 - 900
[6] ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
WILLIAMSON, T
JOURNAL OF PHILOSOPHICAL LOGIC, 1992, 21 (01) : 63 - 89
[7] Intuitionistic Epistemic Logic with Distributed Knowledge
Murai, Ryo
Sano, Katsuhiko
COMPUTACION Y SISTEMAS, 2022, 26 (02): : 823 - 834
[8] Sequent Calculus for Intuitionistic Epistemic Logic IEL
Krupski, Vladimir N.
Yatmanov, Alexey
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 187 - 201
[9] Epistemic extensions of combined classical and intuitionistic propositional logic
Lewitzka, Steffen
LOGIC JOURNAL OF THE IGPL, 2017, 25 (03) : 309 - 324
[10] Cut elimination and complexity bounds for intuitionistic epistemic logic
Krupski, Vladimir N.
JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (01) : 281 - 294

← 1 2 3 4 5 →