Симплициальные модели модальных логик предикатов

Симплициальная семантика модальных предикатных логик введена Д.П. Скворцовым в 1990 г. В докладе мы напомним определение симплициальных моделей, теоремы о корректности и полноте. Также будет приведена конструкция симплициальных моделей с помощью нервов группоидов и даны ее применения для логик предикатов.