This may or may not be helpful: Geometry is decidable per tarski's axioms of elementary geometry. As far as I know physical theories are dominantly geometric.

This may or may not be helpful: Geometry is decidable per tarski's axioms of elementary geometry. As far as I know physical theories are dominantly geometric. Unfortunately I know little in the topic, so I cannot add anything beyond noting his work.