Epistemic Logic via Distance and Similarity X Liang, YN Wáng Pacific Rim International Conference on Artificial Intelligence, 32-45, 2022 | 1 | 2022 |
Epistemic logics over weighted graphs X Liang, YN Wáng Logics for New-Generation AI, 43, 2022 | 1 | 2022 |
Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic X Liang, YN Wáng arXiv preprint arXiv:2407.00687, 2024 | | 2024 |
Epistemic Logic over Similarity Graphs: Common, Distributed and Mutual Knowledge X Liang, YN Wáng arXiv preprint arXiv:2310.00264, 2023 | | 2023 |
一个关于有穷开放过程的类型论系统 梁晓龙, 鞠实儿 逻辑学研究 13 (4), 48-71, 2020 | | 2020 |
邻域语义与修正真理论 林其清, 梁晓龙 逻辑学研究 10 (1), 5-29, 2017 | | 2017 |