"Formal Logic" is too technical for any but well prepared students.
Physiological questions are not to be settled by formal logic.
But this is not the problem with which Formal Logic is occupied.
(b) Formal Logic clearly will not quail before the charge of uselessness.
Unless this can be done there is no science of Formal Logic.
How are modals treated by (a) formal ...