PanLinx
беларуская
bel-000
мадальная логіка
русский
rus-000
модальная логика
PanLex
