MaGIC (Matrix Generator for implication connectives) is a program which finds matrices for implication connectives for a wide range of propositional logics.
However, many applications of DLs require expressivity that cannot be expressed in description logics.
In the semantics for relevant logics, not every world makes true every valid formula.
There are two old logics which still remain indispensable, Aristotle's Organon and Bacon's Novum Organum.
