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