Кванторные логики для рассуждений о знании и вероятности в духе Хальперна

В прикладной логике наряду с рассуждениями о знании часто хочется рассуждать о вероятностях тех или иных событий, где вероятностные распределения могут зависеть от выбора агента. Одной из наиболее известных логик, формализующих одновременные рассуждения о знании и вероятности, является пропозициональная логика $L^K_{prob}$, введённая Р. Фейгином и Д. Хальперном. В настоящем докладе будут представлены естественные кванторные обогащения $L^K_{prob}$ в духе первопорядковых вероятностных логик Хальперна, о которых рассказывалось в предыдущем докладе. Нас будет интересовать вычислительная сложность такого рода систем (а также некоторых их фрагментов). В частности, речь пойдёт о получении нижних оценок для соответствующих проблем общезначимости.