Публикации

1. 1. АКСИОМАТИЗАЦИЯ ИНТУИЦИОНИСТСКИХ ЛОГИК, ОПРЕДЕЛЯЕМЫХ МАЛЫМИ ФРЕЙМАМИ : научное издание [статья из журнала]
   Башмаков Степан Игоревич, Голованов Михаил Иванович
   2017, Математические заметки СВФУ
2. 2. Аналитическая геометрия : методическое пособие [методическое пособие]
   Голованов М. И., Киреев И. В., Кравцова О. В., Сучков Н. М.
   2012
3. 3. Logic of visibility, perception, and knowledge and admissible inference rules [статья из журнала]
   Golovanov M. I., Kosheleva A. V., Rybakov V.
   2005, LOGIC JOURNAL OF THE IGPL
4. 4. Критерий допустимости правил вывода логики с оператором "Завтра" : препринт [препринт]
   Голованов М. И., Юрасова Е. М.
   2004
5. 5. A necessary condition for rules to be admissible in temporal tomorrow-logic [статья из журнала]
   Golovanov M. I., Rybakov V. V., Yurasova E. M., Golovanov M. I., Rybakov V. V., Yurasova E. M.
   2003, Bulletin of the Section of Logic
6. 6. Admissible inference rules for polymodal logic S5nC : научное издание [статья из журнала]
   Alekseev P. A., Golovanov M. I.
   1997, Algebra and Logic
7. 7. Poly-modal logic S5 nC [статья из журнала]
   Alexeev P. A., Golovanov M. I.
   1997, SUT Journal of Mathematics
8. 8. Bimodal propositional logic S52Cn1 : научное издание [статья из журнала]
   Golovanov M. I.
   1997, Bulletin of the Section of Logic
9. 9. Finite bases of admissible rules for the logic S52C : научное издание [статья из журнала]
   Golovanov M.
   1997, Lecture Notes in Computer Science
10. 10. Нестандартные логические системы и правила вывода [отчёт о НИР]
    Рыбаков В. В., Бабенышев С. В., Безгачева Ю. В., Голованов М. И., Кияткин В. Р., Римацкий В. В.
    1996