Temporal logic

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

Field Hierarchy

Parent
Computer science 54.8M papers	Philosophy 20.3M papers	Programming language 7.2M papers	Epistemology 5.4M papers
Theoretical computer science 615k papers
Current
Temporal logic 6,546 papers
Child
Computation tree logic 1,557 papers	Interval temporal logic 1,243 papers	Kripke structure 669 papers	Temporal logic of actions 504 papers

Trends

Notes

History