Alethic vs Temporal Modal Logic