Sémantique Formelle

L'application de langages formels, de structures modèle‑théoriques et de règles de composition rigoureuses pour représenter, spécifier et évaluer les significations et conditions de vérité d'expressions linguistiques ou logiques ; suppose typiquement une correspondance entre formes syntaxiques et valeurs sémantiques dans un modèle explicitement défini et s'appuie sur des principes tels que la comp