Time dependent propositions and quantum logic