Les EPPS permettent de définir de nouveaux modèles de la logique linéaire
en décorant le modèle purement relationnel par des "relations de
cohérence" prenant des faits comme valeurs. Les modèles obtenus ne sont
pas dénotationnellement complets pour la logique linéaire, mais on
prouvera qu'ils fournissent néanmoins une sémantique des phases complète
pour une extension simple de la logique linéaire indexée.