Все данные понятия относятся к моделям семантики логики, а именно к различным формам интерпретации предикатного истинностного истолкования.
Все данные понятия относятся к моделям семантики логики, а именно к различным формам интерпретации предикатного истинностного истолкования.