Математическая логика и основания математики. Модальная логика.
Семантика модальных и интенсиональных логик
Модальные теории Яна Лукасевича.