The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often …