In the Vinony graph
Vinony's link graph records 51 inbound references to 线性时序逻辑, and connects out to logic, International Standard Book Number and digital object identifier.
It is catalogued under topics including Computer-related introductions in 1977 and Temporal logic.
Vinony links it to 12 Wikipedia language editions.
Wikidata facts
- Subclass of
- temporal logic
Show 2 more facts
- Commons category
- Linear temporal logic
- Stack Exchange tag
- cs.stackexchange.com/tags/linear-temporal-logic
Sources (3)
via Wikidata · CC0
Article · 中文
线性时序逻辑（英語：linear temporal logic，LTL），或称线性时态逻辑，是一种模态时态逻辑。其时态运算符限定于描述从一个给定的状态开始的某一条路径上的事件。线性时序逻辑由阿米尔·伯努利在1977年提出。线性时序逻辑和两者可以归入更广义的中。
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
logic
Entity
International Standard Book Number
Entity
digital object identifier
Entity
binary operation
Entity
bibcode
Entity
arXiv
Entity
Alonzo Church
Entity
logical operator
Entity
finite-state machine
Entity
quantifier
Entity
modal logic
Entity
first-order logic
Entity
unary operation
Entity
Semantic Scholar
Entity
counterexample
Entity
Amir Pnueli
Entity
alphabet
Entity
preference
Entity
temporal logic
Entity
path
Entity