首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
Intuitionistic Logic As Epistemic Logic
被引:0
|
作者
:
Jaakko Hintikka
论文数:
0
引用数:
0
h-index:
0
机构:
Boston University,Department of Philosophy
Jaakko Hintikka
机构
:
[1]
Boston University,Department of Philosophy
来源
:
Synthese
|
2001年
/ 127卷
关键词
:
Intuitionistic Logic;
Epistemic Logic;
D O I
:
暂无
中图分类号
:
学科分类号
:
摘要
:
引用
收藏
页码:7 / 19
页数:12
相关论文
共 50 条
[41]
Ceres in intuitionistic logic
Cerna, David
论文数:
0
引用数:
0
h-index:
0
机构:
Johannes Kepler Univ Linz, Res Inst Symbol Computat, Linz, Austria
Johannes Kepler Univ Linz, Res Inst Symbol Computat, Linz, Austria
Cerna, David
Leitsch, Alexander
论文数:
0
引用数:
0
h-index:
0
机构:
Vienna Univ Technol, Inst Comp Languages, Vienna, Austria
Johannes Kepler Univ Linz, Res Inst Symbol Computat, Linz, Austria
Leitsch, Alexander
Reis, Giselle
论文数:
0
引用数:
0
h-index:
0
机构:
INRIA, Rocquencourt, France
Ecole Polytech, LIX, Palaiseau, France
Johannes Kepler Univ Linz, Res Inst Symbol Computat, Linz, Austria
Reis, Giselle
论文数:
引用数:
h-index:
机构:
Wolfsteiner, Simon
ANNALS OF PURE AND APPLIED LOGIC,
2017,
168
(10)
: 1783
-
1836
[42]
Intuitionistic ancestral logic
Cohen, Liron
论文数:
0
引用数:
0
h-index:
0
机构:
Tel Aviv Univ, Tel Aviv, Israel
Tel Aviv Univ, Tel Aviv, Israel
Cohen, Liron
Constable, Robert L.
论文数:
0
引用数:
0
h-index:
0
机构:
Cornell Univ, Ithaca, NY 14850 USA
Tel Aviv Univ, Tel Aviv, Israel
Constable, Robert L.
JOURNAL OF LOGIC AND COMPUTATION,
2019,
29
(04)
: 469
-
486
[43]
Inquisitive logic as an epistemic logic of knowing how
Wang, Haoyu
论文数:
0
引用数:
0
h-index:
0
机构:
Peking Univ, Dept Philosophy, Beijing, Peoples R China
Peking Univ, Dept Philosophy, Beijing, Peoples R China
Wang, Haoyu
Wang, Yanjing
论文数:
0
引用数:
0
h-index:
0
机构:
Peking Univ, Dept Philosophy, Beijing, Peoples R China
Peking Univ, Dept Philosophy, Beijing, Peoples R China
Wang, Yanjing
Wang, Yunsong
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Amsterdam, ILLC, Amsterdam, Netherlands
Peking Univ, Dept Philosophy, Beijing, Peoples R China
Wang, Yunsong
ANNALS OF PURE AND APPLIED LOGIC,
2022,
173
(10)
[44]
The information in intuitionistic logic
van Benthem, Johan
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Amsterdam, ILLC, NL-1018 TV Amsterdam, Netherlands
Univ Amsterdam, ILLC, NL-1018 TV Amsterdam, Netherlands
van Benthem, Johan
SYNTHESE,
2009,
167
(02)
: 251
-
270
[45]
ON FUZZY INTUITIONISTIC LOGIC
TURUNEN, E
论文数:
0
引用数:
0
h-index:
0
机构:
LAPPEENRANTA UNIV TECHNOL,SF-53851 LAPPEENRANTA 85,FINLAND
LAPPEENRANTA UNIV TECHNOL,SF-53851 LAPPEENRANTA 85,FINLAND
TURUNEN, E
KYBERNETIKA,
1992,
28
(3-6)
: 72
-
77
[46]
Knowability and intuitionistic logic
David De Vidi
论文数:
0
引用数:
0
h-index:
0
机构:
The University of Waterloo,
David De Vidi
Graham Solomon
论文数:
0
引用数:
0
h-index:
0
机构:
The University of Waterloo,
Graham Solomon
Philosophia,
2001,
28
: 319
-
334
[47]
The information in intuitionistic logic
Johan van Benthem
论文数:
0
引用数:
0
h-index:
0
机构:
University of Amsterdam,Institute for Logic, Language & Computation (ILLC)
Johan van Benthem
Synthese,
2009,
167
[48]
A Possibilistic Intuitionistic Logic
Estrada, Oscar
论文数:
0
引用数:
0
h-index:
0
机构:
Benemerita Univ Autonoma Puebla, Puebla, Mexico
Benemerita Univ Autonoma Puebla, Puebla, Mexico
Estrada, Oscar
Arrazola, Jose
论文数:
0
引用数:
0
h-index:
0
机构:
Benemerita Univ Autonoma Puebla, Puebla, Mexico
Benemerita Univ Autonoma Puebla, Puebla, Mexico
Arrazola, Jose
Osorio, Mauricio
论文数:
0
引用数:
0
h-index:
0
机构:
Benemerita Univ Autonoma Puebla, Puebla, Mexico
Osorio, Mauricio
ADVANCES IN ARTIFICIAL INTELLIGENCE, MICAI 2010, PT I,
2010,
6437
: 362
-
373
[49]
Skepticism and Epistemic Logic
Schotch P.K.
论文数:
0
引用数:
0
h-index:
0
机构:
Dalhousie University, Departments of Philosophy, Halifax
Dalhousie University, Departments of Philosophy, Halifax
Schotch P.K.
Studia Logica,
2000,
66
(1)
: 187
-
198
[50]
An epistemic logic of preferences
Pavel Naumov
论文数:
0
引用数:
0
h-index:
0
机构:
University of Southampton,Agents, Interaction and Complexity Group, School of Electronics and Computer Science
Pavel Naumov
Anna Ovchinnikova
论文数:
0
引用数:
0
h-index:
0
机构:
University of Southampton,Agents, Interaction and Complexity Group, School of Electronics and Computer Science
Anna Ovchinnikova
Synthese,
201
←
1
2
3
4
5
→