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.2M papers
Philosophy
20.8M papers
Programming language
7.4M papers
Epistemology
5.5M papers
Theoretical computer science
637k papers
Current
Temporal logic
6,664 papers
Child
Computation tree logic
1,605 papers
Interval temporal logic
1,259 papers
Kripke structure
682 papers
Temporal logic of actions
519 papers
Trends