Temporal Logic

Home > Mathematics > Set Theory > Set Theory and Logic > Temporal Logic

This type of Logic is used to reason about the progression of time.