Lógica Temporal é a lógica que tem em consideração o ontem, o hoje e o amanhã. O que é? Para que serve? Como aplicá-la a problemas práticos... Vem descobrir!