[nmrm]

Of course if you conflate logic with just traditional first order logic then all the interesting fruit has been picked.

But there are many logics that can be used to reason about stochastic and probabilistic dynamics.