刘壮虎 劉壯虎
류장호
2014년 基于K4的超模态逻辑 基于K4的超模態邏輯 기우K4적초모태라집
2009년 无穷算子和量词 無窮算子和量詞 무궁산자화량사
2008년 有限全序语义和广义皮尔斯律 有限全序語義和廣義皮爾斯律 유한전서어의화엄의피이사률
2007년 一个自由模态的摹状词理论LFMDTK 一箇自由模態的摹狀詞理論LFMDTK 일개자유모태적모상사이론LFMDTK
2005년 对动作的认知 對動作的認知 대동작적인지
2002년 必然性的逻辑分析 必然性的邏輯分析 필연성적라집분석
2000년 复合谓词的逻辑系统 複閤謂詞的邏輯繫統 복합위사적라집계통
2000년 邻域语义学与推演系统的完全性 鄰域語義學與推縯繫統的完全性 린역어의학여추연계통적완전성
1998년 传播现代逻辑 建立哲学体系——金岳霖学术生涯记略 傳播現代邏輯 建立哲學體繫——金嶽霖學術生涯記略 전파현대라집 건립철학체계——금악림학술생애기략