description-logic public under formal-system 10, mathematical-logic 12 List Picture As a command Nothing is filed under description-logic.