https://philos.msu.ru/node/77

Область научных интересов:

• Системы обобщенных истинностных значений и их логики,
• Аналитико-табличные и натуральные исчисления для систем модальной и временной логики,
• Теория вычислимости,
• Алгоритмические проблемы в логике.