直觉主义认知逻辑ICDK

直觉主义认知逻辑ICDK

徐京京

Intuitionistic Epistemic Logic ICDK

XU Jingjing

计算机科学与探索 . 2018, (11): 1843 -1851 . DOI: 10.3778/j.issn.1673-9418.1709097