"temporal logic" - related articles and key terms

Related terms: logic

Wikipedia sources: Modal logic Concurrency (computer science)

Context for words: temporal logic