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