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

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

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

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

16 апр 2004 → …

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

Intuitionistic Logic Математика
First-order Математика
Bisimulation Математика
Expressive Power Математика
Modal Logic Математика
Justification Математика
Predicate Математика
Elimination Математика

Сеть Недавняя внешняя коллаборация на уровне стран. Углубитесь в детали нажатием на точки.

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

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

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 стр.

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

Justification
Logic
Epistemic Logic
Valid
Knowledge
1 цитирование (Scopus)

A completeness result for the implicit justification STIT logic

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

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

Logic
Completeness
Justification
Stit
Epistemic Justification
4 Цитирования (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 стр.

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

Axiomatic System
Calculi
Logic
Tableau
Completeness

Inference as doxastic agency. Part II: Ramifications and refinements

Olkhovikov, G. K. & Wansing, H., 2017, В : Australasian journal of logic. 14, 4, 31 стр., 2.

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

1 цитирование (Scopus)

On expressive power of basic modal intuitionistic logic as a fragment of classical FOL

Olkhovikov, G. K., 1 мая 2017, В : Journal of Applied Logic. 21, стр. 57-90 34 стр.

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

Intuitionistic Logic
Expressive Power
Modal Logic
Fragment
Characterization Theorem