欢迎访问bat365中国官方网站网站!

逻辑学

所在位置: 首页 » 团队队伍 » 逻辑学

梁晓龙 博士

发布时间:2022-10-10

8da53349ba5a4dd98b6418e1d045e2eb.jpg

梁晓龙,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。

Copyright shanxi university all rights reserved 版权所有:bat365中国官方网站
地址:山西省太原市坞城路92号 邮编:030006
联系电话:0351-7010488 联系邮箱:zhexueyuan@sxu.edu.cn (晋)ICP备05000471号

公司订阅号

公司服务号

格致传媒