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 条

[21] Epistemic Logic: A Survey of the Logic of Knowledge
Mirus, Christopher V.
REVIEW OF METAPHYSICS, 2007, 60 (04): : 878 - 882
[22] REDUCTION OF DOXASTIC LOGIC TO EPISTEMIC LOGIC
BACON, J
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 199 - 199
[23] Dynamic epistemic logic in update logic
Aucher, Guillaume
JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (06) : 1913 - 1960
[24] Epistemic logic: A survey of the logic of knowledge
Battaly, Heather
MIND, 2008, 117 (465) : 205 - 210
[25] ON RECONSTRUCTABILITY OF CLASSICAL PROPOSITIONAL LOGIC IN INTUITIONISTIC LOGIC
WOJCICKI, R
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1970, 18 (08): : 421 - &
[26] A First-Order Expansion of Artemov and Protopopescu's Intuitionistic Epistemic Logic
Su, Youan
Sano, Katsuhiko
STUDIA LOGICA, 2023, 111 (04) : 615 - 652
[27] LOGIC PROGRAMMING IN A FRAGMENT OF INTUITIONISTIC LINEAR LOGIC
HODAS, JS
MILLER, D
INFORMATION AND COMPUTATION, 1994, 110 (02) : 327 - 365
[28] AN INTERPRETATION OF INTUITIONISTIC PREDICATE LOGIC IN MODAL LOGIC
PRAWITZ, D
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 565 - &
[29] A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic
Youan Su
Katsuhiko Sano
Studia Logica, 2023, 111 : 615 - 652
[30] Epistemic logic (2). Multi-agent epistemic logic MEL
Liu, Ruisheng
Sun, Jigui
Liu, Xuhua
Jisuanji Xuebao/Chinese Journal of Computers, 21 (07): : 638 - 641

← 1 2 3 4 5 →