Temporal logic

https://www.wikidata.org/wiki/Q781833

Field Hierarchy

Parent
Computer science 61.9M papers	Philosophy 22.3M papers	Programming language 7.6M papers	Epistemology 5.7M papers
Theoretical computer science 609k papers
Current
Temporal logic 6,766 papers
Child
Computation tree logic 1,606 papers	Interval temporal logic 1,412 papers	Kripke structure 690 papers	Temporal logic of actions 582 papers

Trends

Notes

History