PanLinx
français
fra-000
logique modale propositionnelle
한국어
kor-000
양태명제논리
PanLex