Plancher D'Expressivité

Un niveau minimal de capacité d'expression qu'un fragment logique ou une logique doit posséder pour capter une classe donnée de phénomènes ou de propriétés ; l'ensemble le plus restreint de constructions syntaxiques et de garanties sémantiques nécessaires pour être adéquat vis-à-vis d'une spécification cible.