. "temporal logic"@en .