Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика

Рассматриваются фрагменты модальных предикатных логик с одной индивидной переменной и связанная с этим конструкция полупроизведения (или "расширяющегося произведения") модальных логик высказываний. Аксиоматизация полупроизведений - достаточно нетривиальная задача, но для некоторых случаев ее удалось решить. Нетривиальна и аксиоматизация предикатных логик с одной переменной, но и здесь получен некоторый достаточно общий результат. Для его доказательства применяется симплициальная семантика, о которой шла речь в докладе конца 2017 г.