modal-logic public under formal-system 10, mathematical-logic 12 List Picture As a command %3 n0 modal-logic n1 formal-system n1->n0 n2 mathematical-logic n2->n0