Публикации: Голованов Михаил Иванович

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.