linear temporal logic
Sign in to savefield of mathematical logic
Wikidata facts
Show 2 more facts
- Commons category
- Linear temporal logic
- Stack Exchange tag
- cs.stackexchange.com/tags/linear-temporal-logic
Sources (3)
via Wikidata · CC0
Connections
logic
Entity
International Standard Book Number
Entity
digital object identifier
Entity
binary operation
Entity
bibcode
Entity
Q118398
Entity
Alonzo Church
Entity
logical operator
Entity
finite-state machine
Entity
quantifier
Entity
modal logic
Entity
first-order logic
Entity
unary operation
Entity
Q22908627
Entity
counterexample
Entity
Amir Pnueli
Entity
alphabet
Entity
preference
Entity
temporal logic
Entity
path
Entity