Déduction Étiquetée

Une méthode formelle qui enrichit les formules syntaxiques par des étiquettes explicites (par exemple mondes, états, ressources ou annotations de preuve) portant de l'information sémantique et guidant l'application des règles d'inférence syntaxiques.