Thinking takes time: A modal active-logic for reasoning in time