I have a basic question about the rule of inference. Given: A->B That is to say, "if A then B". I am curious, "if A WHEN B?" Basically, when is B? Is B after A or before A? Actually I am asking about this in temporal terminology but, I am sincerely wondering if mathematical logic allows one to take both the non-temporal interpretation and the temporal interpretation OR just one of the two. Which interpretation is the default? Can I have both? Or just one? Which one? Am I even asking a valid question? If not then why?