A Modal Propositional Calculus for Quantum Facts and Dynamical Theories