PanLinx
普通话
cmn-000
动力逻辑
English
eng-000
dynamic logic
PanLex