This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.

information about Temporal logic field

Temporal logic

https://www.wikidata.org/wiki/Q781833
Field Hierarchy
Parent
Computer science
56.5M papers
Philosophy
21M papers
Programming language
7.4M papers
Epistemology
5.5M papers
Theoretical computer science
641k papers
Current
Temporal logic
6,675 papers
Child
Computation tree logic
1,607 papers
Interval temporal logic
1,259 papers
Kripke structure
682 papers
Temporal logic of actions
519 papers
Trends