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
