Logique temporelle linéaire
Sign in to savefield of mathematical logic
In the Vinony graph
Within Vinony's link graph, Logique temporelle linéaire is referenced by 51 other articles, and connects out to logic, International Standard Book Number and digital object identifier.
It sits within the topics Computer-related introductions in 1977 and Temporal logic.
Its subject is documented across 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 · Français
En logique, la logique temporelle linéaire (LTL) est une logique temporelle modale avec des modalités se référant au temps. En LTL, on peut coder des formules sur l'avenir d'un chemin infini dans un système de transitions, par exemple une condition finira par être vraie, une condition sera vraie jusqu'à ce qu'une autre devienne vraie, etc. Cette logique est plus faible que la logique CTL*, qui permet d'exprimer des conditions sur des ramifications de chemins et pas seulement sur un seul chemin. LTL est aussi parfois appelée logique temporelle propositionnelle, abrégé LTP (PTL en anglais). La logique temporelle linéraire (LTL) est un fragment de S1S (pour second-order with 1 successor), la logique monadique du second ordre avec un successeur. LTL a d'abord été proposé pour la vérification formelle des programmes informatiques par Amir Pnueli en 1977.
Abstract from DBpedia / Wikipedia · CC BY-SA