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 条
  • [41] Quantum logic in intuitionistic perspective
    Coecke B.
    Studia Logica, 2002, 70 (3) : 411 - 440
  • [42] Basic Intuitionistic Conditional Logic
    Yale Weiss
    Journal of Philosophical Logic, 2019, 48 : 447 - 469
  • [43] A lower bound for intuitionistic logic
    Hrubes, Pavel
    ANNALS OF PURE AND APPLIED LOGIC, 2007, 146 (01) : 72 - 90
  • [44] Weakly Intuitionistic Quantum Logic
    Ronnie Hermens
    Studia Logica, 2013, 101 : 901 - 913
  • [45] The Complexity of Disjunction in Intuitionistic Logic
    Ramanujam, R.
    Sundararajan, Vaishnavi
    Suresh, S. P.
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 349 - 363
  • [46] A probabilistic extension of intuitionistic logic
    Markovic, Z
    Ognjanovic, Z
    Raskovic, M
    MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (04) : 415 - 424
  • [47] Symmetric Normalisation for Intuitionistic Logic
    Guenot, Nicolas
    Strassburger, Lutz
    PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
  • [48] Weakly Intuitionistic Quantum Logic
    Hermens, Ronnie
    STUDIA LOGICA, 2013, 101 (05) : 901 - 913
  • [49] Computation in Focused Intuitionistic Logic
    Brock-Nannestad, Taus
    Guenot, Nicolas
    Gustafsson, Daniel
    PROCEEDINGS OF THE 17TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2015), 2015, : 43 - 54
  • [50] A bounded translation of intuitionistic propositional logic into basic propositional logic
    Aghaei, M
    Ardeshir, M
    MATHEMATICAL LOGIC QUARTERLY, 2000, 46 (02) : 199 - 206
12345