Research Concept

Temporal logic

System for representing and reasoning about time

Works
28,005
Citations
238,481
Level
2
OpenAlex ID
C25016198