теории моделей и другое — в пруф-теоретической семантике (Жирар?), а может — не разбираюсь — третье в денотационной семантике ЯПов
ну игровых семантик в япах тоже много разных
ну там скорее теория доказательств или конечная теория моделей (точнее, доменов?)
Обсуждают сегодня