Формальная семантика может относиться к:
- Формальная семантика (естественный язык) , изучение значения естественных языков с формальной точки зрения
- Формальная семантика или семантика логики , изучение интерпретаций формальных естественных языков, обычно понятие следствия
- Формальная семантика или семантика (информатика) , строгое математическое изучение значения языков программирования