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 条
  • [31] Unification in intuitionistic logic
    Ghilardi, S
    JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (02) : 859 - 880
  • [32] Intuitionistic autoepistemic logic
    Amati G.
    Carlucci-Aiello L.
    Pirri F.
    Studia Logica, 1997, 59 (1) : 103 - 120
  • [33] On interpretation of intuitionistic logic
    Kolmogoroff, A
    MATHEMATISCHE ZEITSCHRIFT, 1932, 35 : 58 - 65
  • [34] REALIZABILITY AND INTUITIONISTIC LOGIC
    DILLER, J
    TROELSTRA, AS
    SYNTHESE, 1984, 60 (02) : 253 - 282
  • [35] Knowability and intuitionistic logic
    DeVidi, D
    Solomon, G
    PHILOSOPHIA, 2001, 28 (1-4) : 319 - 334
  • [36] Eskolemization in Intuitionistic Logic
    Baaz, Matthias
    Iemhoff, Rosalie
    JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (04) : 625 - 638
  • [37] On an Intuitionistic Modal Logic
    G. M. Bierman
    V. C. V. de Paiva
    Studia Logica, 2000, 65 (3) : 383 - 416
  • [38] Intuitionistic computability logic
    Japaridze, Giorgi
    ACTA CYBERNETICA, 2007, 18 (01): : 77 - 113
  • [39] On an intuitionistic logic for pragmatics
    Bellin, Gianluigi
    Carrara, Massimiliano
    Chiffi, Daniele
    JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (05) : 935 - 966
  • [40] Intuitionistic ancestral logic
    Cohen, Liron
    Constable, Robert L.
    JOURNAL OF LOGIC AND COMPUTATION, 2019, 29 (04) : 469 - 486
12345