Before revision: It deals with the logical structure of propositions asserted at different points in time.
After revision: quantum mechanicalIt deals with the logical structure of propositions asserted at different points in time.