Полупроизведения, произведения и предикатные модальные логики: некоторые примеры

В работе изучаются полупроизведения и произведения пропозициональных модальных логик с S5 и их связь с предикатными модальными логиками. Приводятся примеры пропозициональных модальных логик, полупроизведения и произведения которых с S5 аксиоматизируются минимальным образом (т.е. эти логики согласованы с S5 по полупроизведению и по произведению), а также примеры логик, не обладающих этими свойствами. Финитная аппроксимируемость и согласованность по полупроизведению с S5 обеспечивают разрешимость соответствующих предикатных модальных логик.