PanLinx
English
eng-000
modal propositional calculus
PanLex
