3月25日，哲学系马明辉教授指导逻辑学专业本科生陈谦在国际符号逻辑杂志Studia Logica发表论文“Lattices of Finitely Alternative Normal Tense Logics”。论文研究有穷可择时态逻辑T(m,n)正规扩张格的逻辑性质，准确描述了T(1,1)正规扩张格的结构：
证明了T(1,1)正规扩张格中存在可数多个不具有有穷模型性质的时态逻辑，存在不多数多个不是有穷可公理化的逻辑，有且仅有一个濒表格逻辑。对任意自然数n,m使得nm大于等于2，时态逻辑T(n,m)正规扩张格中存在不可数多个不具有有穷模型性的逻辑，存在不可数多个濒表格逻辑。这一系列结论，充分说明了正规时态逻辑格与正规模态逻辑格的巨大差异，明确了研究正规时态逻辑的重要意义。
学术杂志Studia Logica是波兰科学院主办的刊物，主要刊载运用当代形式逻辑方法研究逻辑系统的成果，例如代数、模型论、证明论等等，以及一般性的逻辑理论和逻辑在哲学、科学方法、语言学等分支的应用成果。
论文链接：https://link.springer.com/article/10.1007/s11225-021-09942-5
