共 50 条
- [4] Intuitionistic Epistemic Logic, Kripke Models and Fitch’s Paradox [J]. Journal of Philosophical Logic, 2012, 41 : 877 - 900
- [6] ON INTUITIONISTIC MODAL EPISTEMIC LOGIC [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1992, 21 (01) : 63 - 89
- [7] Intuitionistic Epistemic Logic with Distributed Knowledge [J]. COMPUTACION Y SISTEMAS, 2022, 26 (02): : 823 - 834
- [8] Sequent Calculus for Intuitionistic Epistemic Logic IEL [J]. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 187 - 201
- [10] An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-16), 2010, 6355 : 272 - 289