update modal logic syntax in USAGE according to non-classical TPTP update. closes #70
update modal logic syntax in USAGE according to non-classical TPTP update. closes #70

lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III