PanLinx
普通话
cmn-000
基本模态逻辑
English
eng-000
basic modal logic
PanLex