Time dependent propositions and quantum logic
scientific article; zbMATH DE number 3577207