Logique temporelle
Définition – Que signifie la logique temporelle? La logique temporelle est une branche de la logique symbolique qui s’intéresse aux problèmes sur des propositions dont les valeurs de vérité dépendent du temps. La logique temporelle est considérée comme une variante de la logique modale, qui est une branche de la logique traitant des propositions qui … Lire la suite