 The simplest connection between physical necessity and logical necessity that comprises an acceptable philosophical meaning is given by the following bridge axiom:   \[\quad\square p\to\boxdot p\]   meaning that logical necessity is stronger than physical necessity: anything that is logically necessary is physically necessary.