Failure of interpolation in constant domain intuitionistic logic. - Grigori Mints; Grigory K. Olkhovikov; Alasdair Urquhart (J. Symb. Log., 2013)

Model-Theoretic characterization of intuitionistic Propositional Formulas. - Grigory K. Olkhovikov (Rev. Symb. Log., 2013)

Model-theoretic characterization of intuitionistic predicate formulas. - Grigory K. Olkhovikov (J. Log. Comput., 2014)

On Flattening Elimination Rules. - Grigory K. Olkhovikov; Peter Schroeder-Heister (Rev. Symb. Log., 2014)

On a New Three-Valued Paraconsistent Logic. - Grigory K. Olkhovikov (FLAP, 2016)

A Complete, Correct, and Independent Axiomatization of the First-Order Fragment of a Three-Valued Paraconsistent Logic. - Grigory K. Olkhovikov (FLAP, 2016)

On generalized Van Benthem-type characterizations. - Grigory K. Olkhovikov (Ann. Pure Appl. Log., 2017)

On expressive power of basic modal intuitionistic logic as a fragment of classical FOL. - Grigory K. Olkhovikov (J. Appl. Log., 2017)

Justification announcements in discrete time. Part I: Completeness results. - Grigory K. Olkhovikov (Log. J. IGPL, 2018)

An Axiomatic System and a Tableau Calculus for STIT Imagination Logic. - Grigory K. Olkhovikov; Heinrich Wansing (J. Philos. Log., 2018)

Stit logic of justification announcements: a completeness result. - Grigory K. Olkhovikov (J. Log. Comput., 2018)

Justification announcements in discrete time. Part II: Frame definability results. - Grigory K. Olkhovikov (Log. J. IGPL, 2019)

Simplified Tableaux for STIT Imagination Logic. - Grigory K. Olkhovikov; Heinrich Wansing (J. Philos. Log., 2019)

Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic. - Grigory K. Olkhovikov; Heinrich Wansing (Stud Logica, 2019)

A Lindström theorem in many-valued modal logic over a finite MTL-chain. - Guillermo Badia; Grigory K. Olkhovikov (Fuzzy Sets Syst., 2020)

A Lindström Theorem for Intuitionistic Propositional Logic. - Guillermo Badia; Grigory K. Olkhovikov (Notre Dame J. Formal Log., 2020)

Restricted interpolation and Lack thereof in STIT Logic. - Grigory K. Olkhovikov (Rev. Symb. Log., 2020)

Maximality of bi-intuitionistic propositional logic. - Grigory K. Olkhovikov; Guillermo Badia (J. Log. Comput., 2022)

On the Completeness of Some First-order Extensions of C. - Grigory K. Olkhovikov (FLAP, 2023)

A Lindström theorem for intuitionistic first-order logic. - Grigory K. Olkhovikov; Guillermo Badia; Reihane Zoghifard (Ann. Pure Appl. Log., 2023)

Craig interpolation Theorem Fails in bi-intuitionistic Predicate Logic. - Grigory K. Olkhovikov; Guillermo Badia (Rev. Symb. Log., 2024)

An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic. - Grigory K. Olkhovikov (J. Philos. Log., 2024)

A basic system of paraconsistent Nelsonian logic of conditionals. - Grigory K. Olkhovikov (J. Log. Lang. Inf., 2024)