Bitopological models of intuitionistic epistemic logic

被引:0
|
作者
Onoprienko, A. A. [1 ]
机构
[1] HSE Univ, Moscow, Russia
关键词
D O I
10.4213/rm10149e
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页数:4
相关论文
共 50 条
  • [1] Intuitionistic logic as epistemic logic
    Hintikka, J
    [J]. SYNTHESE, 2001, 127 (1-2) : 7 - 19
  • [2] Intuitionistic Logic As Epistemic Logic
    Jaakko Hintikka
    [J]. Synthese, 2001, 127 : 7 - 19
  • [3] INTUITIONISTIC EPISTEMIC LOGIC
    Artemov, Sergei
    Protopopescu, Tudor
    [J]. REVIEW OF SYMBOLIC LOGIC, 2016, 9 (02): : 266 - 298
  • [4] Intuitionistic Epistemic Logic, Kripke Models and Fitch’s Paradox
    Carlo Proietti
    [J]. Journal of Philosophical Logic, 2012, 41 : 877 - 900
  • [5] Intuitionistic Epistemic Logic, Kripke Models and Fitch's Paradox
    Proietti, Carlo
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2012, 41 (05) : 877 - 900
  • [6] ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
    WILLIAMSON, T
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1992, 21 (01) : 63 - 89
  • [7] Intuitionistic Epistemic Logic with Distributed Knowledge
    Murai, Ryo
    Sano, Katsuhiko
    [J]. COMPUTACION Y SISTEMAS, 2022, 26 (02): : 823 - 834
  • [8] Sequent Calculus for Intuitionistic Epistemic Logic IEL
    Krupski, Vladimir N.
    Yatmanov, Alexey
    [J]. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 187 - 201
  • [9] Cut elimination and complexity bounds for intuitionistic epistemic logic
    Krupski, Vladimir N.
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (01) : 281 - 294
  • [10] An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory
    Hirai, Yoichi
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-16), 2010, 6355 : 272 - 289