Руководство научными проектами

• «Доказательства и модели», 2023г. Поддержан Научным фондом НИУ ВШЭ.
• «Эффективное описание формальных средств анализа эпистемиологических категорий доказуемости и логической обоснованности», 2021–2023гг. Поддержан РНФ.
• «Эффективность формальных систем и языков, допускающих интерпретацию в терминах знаний», 2016–2018гг. Поддержан РФФИ.
• «Исследование возможности эффективного описания неклассических логик, допускающих темпоральную интерпретацию», 2013–2015гг. Поддержан РФФИ.
• «Логическое следование и дедуктивные системы: синтаксические, семантические и алгоритмические аспекты», 2010–2012 гг. Поддержан РФФИ.
• «Эффекты ограничения языковых средств неклассических логик», 2007–2009гг. Поддержан РФФИ.

Участие в других научных проектах

• «Доказательства и модели», 2021–2022гг. Поддержан Научным фондом НИУ ВШЭ.
• «Квазинормальные модальные логики: дедуктивный, семантический, алгоритмический и решёточный аспекты», 2018–2020 гг. Поддержан РФФИ.
• «Изучение семантических и алгоритмических аспектов структур классов теорий неклассических логик для эффективного описания свойств логического следования», 2017–2019 гг. Поддержан РФФИ.
• «Исследование моделей неклассических логик», 2014–2015 гг. Поддержан РФФИ и CNRS (Франция).
• «Фундаментальные аспекты проблемы эффективного описания классов модальных логических систем», 2014–2016 гг. Поддержан РФФИ.
• «Эффективное описание дедуктивных систем», 2011–2013 гг. Поддержан РФФИ.
• «Теоретико-модельные и алгоритмические свойства неклассических логик», 2011–2013 гг. Поддержан РФФИ и CNRS (Франция).
• «Истолкование одних логик и теорий средствами других», 2008–2010 гг. Поддержан РФФИ.
• «Геометрические модальные логики», 2006–2009 гг. Поддержан РФФИ и CNRS (Франция).
• «Модальные логики как средства исследования свойств расширений базисной логики Виссера», 2006–2008 гг. Поддержан РФФИ.
• «Семантические, дедуктивные и алгоритмические аспекты расширений базисной логики», 2003–2005 гг. Поддержан РФФИ.
• «Эффективная аксиоматизируемость логических систем», 2001–2002 гг. Поддержан фондом Минобразования.