。在《哲學研究》等多種刊物上發表論文多篇，代表性論文有《論道義邏輯系統的歸約及其相關問題》，《一個弗協調真值道義邏輯系統》。參與編寫的教材有《邏輯學...
邏輯系統 第三節模態系統的語義 第四節模態系統的可靠性和完備性 第十二章非經典邏輯 第一節道義邏輯 第二節弗協調邏輯 第三節... 第二節 模態（真值的）命題及其推理 第三節 規範命題及其推理 第九章...
