Большой российский энциклопедический словарь
ЛОГИЧЕСКАЯ
ЛОГИ́ЧЕСКАЯ СЕМАНТИКА, теория, изучающая вопросы интерпретации логич. исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практич. применимости и др. В более спец. смысле - дедуктивная теория, описывающая свойства понятия истинности в формализов. языках логики и математики.