梁晓龙，1988年生，广东广州人，红足1—世足球网教师。中山大学哲学系本科、硕士、博士学位，曾于中山大学做科研博士后。主要研究领域为哲学逻辑，研究兴趣包括类型论、模态逻辑理论、公理化真理论、数学哲学等。目前主要研究认知逻辑、真理论与悖论、有穷主义数学等方向的工作。

发表学术论文：

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。