发布时间:2022-12-10
梁晓龙,1988年生,广东广州人,bat365官网登录入口哲学社会学学院教师。中山大学哲学系本科、硕士、博士学位,曾于中山大学做科研博士后。主要研究领域为哲学逻辑,研究兴趣包括类型论、模态逻辑理论、公理化真理论、数学哲学等。目前主要研究认知逻辑、真理论与悖论、有穷主义数学等方向的工作。
发表学术论文:
1. Xiaolong Liang, Yi N. Wang, Epistemic Logic via Distance and Similarity, PRICAI 2022: Trends in Artificial Intelligence, 2022.
2. Xiaolong Liang, Yì N. Wáng, Epistemic Logics over Weighted Graphs, LNGAI, 2022.
3. 梁晓龙,鞠实儿,一个关于有穷开放过程的类型论系统,《逻辑学研究》,第13卷第4期,2020。
4. 林其清,梁晓龙,邻域语义与修正真理论,《逻辑学研究》,第10卷第1期,2017。