Return to Article Details A propositional logic of temporal connectives Download Download PDF