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