Должность | Подразделение | Факультет | |||
---|---|---|---|---|---|
2020 | Доцент | Кафедра логики | Философский | 2000-2020-е гг. |
В 1992-2002 гг. работал на разных должностях в Главной астрономической обсерватории РАН.
Преподает также в Санкт-Петербургский институт внешнеэкономических связей, экономики и права, ЛЭТИ. Работал в школах С.-Петербурга
Специалист по вопросам логики, теории игр.
Год защиты | Тип диссертации | Название диссертации | |
---|---|---|---|
2003 | Кандидатская | Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр |
Динамическая логика игр с отношением вынуждения и тремя параллельными операторами // Современная логика: проблемы теории, истории и применения в науке Материалы VII Общероссийской научной конференции. Редакционная коллегия: В.И. Кобзарь, А.И. Мигунов, И.Б. Микиртумов, Я.А. Слинин, Е.И. Федоров. 2002. С. 481-487.
Параллельная композиция в динамической логике игр с ограниченной рациональностью // Логические исследования. 2003. № 10. С. 142-149.
Место теоретико-игровой семантики в современной логике. игры на проверку истинности // Логико-философские штудии. 2008. № 5. С. 18-28.
Парадокс кратных миров конкурентной динамической логики // Логико-философские штудии. 2016. Т. 13. № 2. С. 246-252.
О единстве основания проблемы логического всеведения // Вестник Санкт-Петербургского университета. Серия 6. Философия. Культурология. Политология. Право. Международные отношения. 2012. № 1. С. 27-35.
Дескрипционные логики как фундамент для разрешения ряда алгоритмических вопросов // Логико-философские штудии. 2017. Т. 15. № 4. С. 204-226.
Биографический словарь философов Петербургского университета.
Авторский коллектив: А.В. Малинов (отв. ред.), Е.А. Ростовцев (отв.ред.), Д.А. Баринов, И.В. Сидорчук, Д.А. Сосницкий и др.