Ольховиков, Григорий Константинович

  • 29 Цитирования
  • 3 h-индекс
20122020

Research output per year

Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.

Личный профиль

Образование/академическая квалификация

Философские науки, кандидат наук

16 апр 2004 → …

Fingerprint Отпечаток основан на индексе взвешенных терминов, извлеченных из научных документов, и определяет ключевые темы исследователя.

Сеть Последние внешние коллаборации на уровне страны. Узнайте подробнее, нажав точки.

Результат исследований

  • 29 Цитирования
  • 3 h-индекс
  • 13 Статья
  • 1 Справочник/Словарь/Антология
  • 1 Учебное издание
  • 1 Обзорная статья

A Lindström theorem in many-valued modal logic over a finite MTL-chain

Badia, G. & Olkhovikov, G., 1 июн 2020, В : Fuzzy Sets and Systems. 388, стр. 26-37 12 стр.

Результат исследований: Вклад в журналСтатья

  • Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic

    Olkhovikov, G. K. & Wansing, H., 15 фев 2019, В : Studia Logica. 107, 1, стр. 167-194 28 стр.

    Результат исследований: Вклад в журналСтатья

  • 3 Цитирования (Scopus)

    Simplified Tableaux for STIT Imagination Logic

    Olkhovikov, G. K. & Wansing, H., 1 дек 2019, В : Journal of Philosophical Logic. 48, 6, стр. 981-1001 21 стр.

    Результат исследований: Вклад в журналСтатья

  • A completeness result for the implicit justification STIT logic

    Olkhovikov, G. K., 1 янв 2018, В : Logique et Analyse. 243, стр. 341-406 66 стр.

    Результат исследований: Вклад в журналОбзорная статья

  • 1 Цитирования (Scopus)

    An Axiomatic System and a Tableau Calculus for STIT Imagination Logic

    Olkhovikov, G. K. & Wansing, H., 1 апр 2018, В : Journal of Philosophical Logic. 47, 2, стр. 259-279 21 стр.

    Результат исследований: Вклад в журналСтатья

  • 4 Цитирования (Scopus)