1. АКСИОМАТИЗАЦИЯ ИНТУИЦИОНИСТСКИХ ЛОГИК, ОПРЕДЕЛЯЕМЫХ МАЛЫМИ ФРЕЙМАМИ : научное издание [статья из журнала]
   Башмаков Степан Игоревич, Голованов Михаил Иванович
   2017, Математические заметки СВФУ
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
2. Аналитическая геометрия : методическое пособие [методическое пособие]
   Голованов М. И., Киреев И. В., Кравцова О. В., Сучков Н. М.
   2012
   присутствует в РИНЦ (eLIBRARY.RU)
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
   присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
4. Критерий допустимости правил вывода логики с оператором "Завтра" : препринт [препринт]
   Голованов М. И., Юрасова Е. М.
   2004
   присутствует в РИНЦ (eLIBRARY.RU)
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
   присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
6. Admissible inference rules for polymodal logic S5nC : научное издание [статья из журнала]
   Alekseev P. A., Golovanov M. I.
   1997, Algebra and Logic
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
7. Poly-modal logic S5 nC [статья из журнала]
   Alexeev P. A., Golovanov M. I.
   1997, SUT Journal of Mathematics
   присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
8. Bimodal propositional logic S52Cn1 : научное издание [статья из журнала]
   Golovanov M. I.
   1997, Bulletin of the Section of Logic
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
9. Finite bases of admissible rules for the logic S52C : научное издание [статья из журнала]
   Golovanov M.
   1997, Lecture Notes in Computer Science
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
10. Нестандартные логические системы и правила вывода [отчёт о НИР]
    Рыбаков В. В., Бабенышев С. В., Безгачева Ю. В., Голованов М. И., Кияткин В. Р., Римацкий В. В.
    1996
    присутствует в РИНЦ (eLIBRARY.RU)

Список публикаций автора сформирован в автоматическом режиме. Сообщите, если заметили неточности. Если это ваши публикации, то вы можете войти на сайт под своей учётной записью с помощью формы вверху страницу и отредактировать список публикаций самостоятельно.

Справка для редакторов сайтов и программистов об экспорте списка публикаций на сторонние сайты.