Return to Article Details A spurious confusion in temporal logic Download Download PDF