Logica en tijd