1 - 10 из 17Размер страницы: 10
Сортировать по:: Год публикации
  1. 2022

  2. Maximality of bi-intuitionistic propositional logic

    Olkhovikov, G. & Badia, G., янв. 2022, в: Journal of Logic and Computation. 32, 1, стр. 1-31 31 стр.

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

  3. 2020

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

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

  5. 2019

  6. Simplified Tableaux for STIT Imagination Logic

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

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

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

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

  8. 2018

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

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

  10. A completeness result for the implicit justification STIT logic

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

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

  11. 2017

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

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

  13. Inference as doxastic agency. Part II: Ramifications and refinements

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

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

  14. 2016

  15. A COMPLETE, CORRECT, AND INDEPENDENT AXIOMATIZATION OF THE FIRST-ORDER FRAGMENT OF A THREE-VALUED PARACONSISTENT LOGIC

    Olkhovikov, G., сент. 2016, в: Journal of Applied Logics-Ifcolog Journal of Logics and their Applications. 3, 3, стр. 335-339 5 стр.

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

  16. ON A NEW THREE-VALUED PARACONSISTENT LOGIC

    Olkhovikov, G., сент. 2016, в: Journal of Applied Logics-Ifcolog Journal of Logics and their Applications. 3, 3, стр. 317-334 18 стр.

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

Назад 1 2 Далее

ID: 64243