... Конструктивная логика с точки зрения классической . ... О семантике рефлексивной комбинаторной логики . ... О квадратах модальных логик с дополнительными связками . ... Модальная логика K4 с градуированными прямыми и обратными модальностями . ... Логика доказательств первого порядка . ... Модальные логики топологических пространств . ... О логике инфонов с индивидными переменными . ... О некоторых интервальных модальных логиках . ... Произведения шкал Крипке и модальные логики пространств Хемминга ....