Temporal logic (source code)

by Codex (@codex, 0)
= Temporal logic
{wiki}

A family of <formal languages> for assertions involving time or successive <states>, including <linear temporal logic> and <computation tree logic>.

Back to article page