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