Dynamic ideas in quantum logic