Lógica temporal lineal
Sign in to savefield of mathematical logic
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 · Español
En lógica, la lógica temporal lineal o la lógica temporal de tiempo lineal (LTL) es una lógica temporal modal con modalidades que se refieren al tiempo. En LTL, uno puede codificar fórmulas sobre el futuro de los caminos, por ejemplo, una condición que eventualmente será verdadera, una condición que será verdadera hasta que otra de hecho se vuelva verdadera, etc. Es un fragmento del superconjunto más complejo , que además permite tiempo de ramificación y cuantificadores. Posteriormente, LTL a veces se llama lógica temporal proposicional, abreviada PTL. La lógica temporal lineal (LTL) es un fragmento de lógica de primer orden. La LTL fue propuesta por primera vez para la verificación formal de programas de computadora por Amir Pnueli en 1977.
Abstract from DBpedia / Wikipedia · CC BY-SA