Modals in Formal Language