Category
page 1Temporal logic
temporal logic
system for representing and reasoning about time
linear temporal logic
field of mathematical logic
Kripke structure
semantics for temporal logic consisting of a graph whose nodes are states and whose edges are state transitions, along with a labeling function mapping each node to a set of properties that hold in the corresponding state
computation tree logic
theory in computer science