On the Usefulness of Modal Logic in Axiomatizations of Physics · Study