Philippe Balbiani and Ilya Shapirovsky. Complete axiomatizations of lexicographic sums and products
of modal logics. In 7th International Conference on Topology, Algebra and Categories in Logic (TACL
2015), pages 24–26, 2015.
Авторы: Балбиани Ф., Шапировский И.Б. |