Grigory K. Olkhovikov
Orcid: 0000-0001-7773-5038
According to our database1,
Grigory K. Olkhovikov
authored at least 21 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Rev. Symb. Log., 2024
2023
Ann. Pure Appl. Log., December, 2023
2022
2020
Notre Dame J. Formal Log., 2020
Fuzzy Sets Syst., 2020
2019
Stud Logica, 2019
Log. J. IGPL, 2019
2018
J. Log. Comput., 2018
J. Philos. Log., 2018
Log. J. IGPL, 2018
2017
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL.
J. Appl. Log., 2017
2016
A Complete, Correct, and Independent Axiomatization of the First-Order Fragment of a Three-Valued Paraconsistent Logic.
FLAP, 2016
2014
J. Log. Comput., 2014
2013
Rev. Symb. Log., 2013
J. Symb. Log., 2013