Temporal Modal Logic

Home > Philosophy > Logic > Modal Logic > Temporal Modal Logic

It deals with reasoning about the relationship between propositions referring to different points in time.