1 - 10 out of 17Page size: 10
  1. 2022

  2. Maximality of bi-intuitionistic propositional logic

    Olkhovikov, G. & Badia, G., Jan 2022, In: Journal of Logic and Computation. 32, 1, p. 1-31 31 p.

    Research output: Contribution to journal › Article › peer-review

  3. 2020

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

    Badia, G. & Olkhovikov, G., 1 Jun 2020, In: Fuzzy Sets and Systems. 388, p. 26-37 12 p.

    Research output: Contribution to journal › Article › peer-review

  5. 2019

  6. Simplified Tableaux for STIT Imagination Logic

    Olkhovikov, G. K. & Wansing, H., 1 Dec 2019, In: Journal of Philosophical Logic. 48, 6, p. 981-1001 21 p.

    Research output: Contribution to journal › Article › peer-review

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

    Olkhovikov, G. K. & Wansing, H., 15 Feb 2019, In: Studia Logica. 107, 1, p. 167-194 28 p.

    Research output: Contribution to journal › Article › peer-review

  8. 2018

  9. An Axiomatic System and a Tableau Calculus for STIT Imagination Logic

    Olkhovikov, G. K. & Wansing, H., 1 Apr 2018, In: Journal of Philosophical Logic. 47, 2, p. 259-279 21 p.

    Research output: Contribution to journal › Article › peer-review

  10. A completeness result for the implicit justification STIT logic

    Olkhovikov, G. K., 1 Jan 2018, In: Logique et Analyse. 243, p. 341-406 66 p.

    Research output: Contribution to journal › Review article › peer-review

  11. 2017

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

    Olkhovikov, G. K., 1 May 2017, In: Journal of Applied Logic. 21, p. 57-90 34 p.

    Research output: Contribution to journal › Article › peer-review

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

    Olkhovikov, G. K. & Wansing, H., 2017, In: Australasian journal of logic. 14, 4, 31 p., 2.

    Research output: Contribution to journal › Article › peer-review

  14. 2016

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

    Olkhovikov, G., Sept 2016, In: Journal of Applied Logics-Ifcolog Journal of Logics and their Applications. 3, 3, p. 335-339 5 p.

    Research output: Contribution to journal › Article › peer-review

  16. ON A NEW THREE-VALUED PARACONSISTENT LOGIC

    Olkhovikov, G., Sept 2016, In: Journal of Applied Logics-Ifcolog Journal of Logics and their Applications. 3, 3, p. 317-334 18 p.

    Research output: Contribution to journal › Article › peer-review

Previous 1 2 Next

ID: 64243