Первопорядковые вероятностные логики Хальперна

Многие кванторные вероятностные системы тесно связаны с так называемыми «первопорядковыми вероятностными логиками», предложенными Дж. Хальперном. Последние представляют собой двухсортные вероятностные языки, содержащие кванторы по элементам данного носителя и кванторы по вещественным числам. Эти языки бывают двух типов: 1) с вероятностным распределением на носителе; 2) с распределением на множестве возможных миров (каждому из которых соответствует некоторая первопорядковая структура). Основные сложностные результаты о первопорядковых вероятностных логиках были получены М. Абади и Дж. Хальперном. Цель доклада — описать вышеупомянутые логики и дать компактный обзор сопутствующих результатов.