Grigory K. Olkhovikov

24 papers Journal 24
YearRankTypeTitle / Venue / Authors
2024 J jnl
A basic system of paraconsistent Nelsonian logic of conditionals.
J. Log. Lang. Inf.
Grigory K. Olkhovikov
2024 J jnl
An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic.
J. Philos. Log.
Grigory K. Olkhovikov
2024 J jnl
Craig interpolation Theorem Fails in bi-intuitionistic Predicate Logic.
Rev. Symb. Log.
Grigory K. Olkhovikov, Guillermo Badia
2023 J jnl
A Lindström theorem for intuitionistic first-order logic.
Ann. Pure Appl. Log.
Grigory K. Olkhovikov, Guillermo Badia, Reihane Zoghifard
2023 J jnl
On the Completeness of Some First-order Extensions of C.
FLAP
Grigory K. Olkhovikov
2022 J jnl
Maximality of bi-intuitionistic propositional logic.
J. Log. Comput.
Grigory K. Olkhovikov, Guillermo Badia
2020 J jnl
A Lindström Theorem for Intuitionistic Propositional Logic.
Notre Dame J. Formal Log.
Guillermo Badia, Grigory K. Olkhovikov
2020 J jnl
A Lindström theorem in many-valued modal logic over a finite MTL-chain.
Fuzzy Sets Syst.
Guillermo Badia, Grigory K. Olkhovikov
2020 J jnl
Restricted interpolation and Lack thereof in STIT Logic.
Rev. Symb. Log.
Grigory K. Olkhovikov
2019 J jnl
Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic.
Stud Logica
Grigory K. Olkhovikov, Heinrich Wansing
2019 J jnl
Justification announcements in discrete time. Part II: Frame definability results.
Log. J. IGPL
Grigory K. Olkhovikov
2019 J jnl
Simplified Tableaux for STIT Imagination Logic.
J. Philos. Log.
Grigory K. Olkhovikov, Heinrich Wansing
2018 J jnl
An Axiomatic System and a Tableau Calculus for STIT Imagination Logic.
J. Philos. Log.
Grigory K. Olkhovikov, Heinrich Wansing
2018 J jnl
Justification announcements in discrete time. Part I: Completeness results.
Log. J. IGPL
Grigory K. Olkhovikov
2018 J jnl
Stit logic of justification announcements: a completeness result.
J. Log. Comput.
Grigory K. Olkhovikov
2017 J jnl
Inference as doxastic agency. Part II: Ramifications and refinements.
Australas. J. Log.
Heinrich Wansing, Grigory K. Olkhovikov
2017 J jnl
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL.
J. Appl. Log.
Grigory K. Olkhovikov
2017 J jnl
On generalized Van Benthem-type characterizations.
Ann. Pure Appl. Log.
Grigory K. Olkhovikov
2016 J jnl
A Complete, Correct, and Independent Axiomatization of the First-Order Fragment of a Three-Valued Paraconsistent Logic.
FLAP
Grigory K. Olkhovikov
2016 J jnl
On a New Three-Valued Paraconsistent Logic.
FLAP
Grigory K. Olkhovikov
2014 J jnl
Model-theoretic characterization of intuitionistic predicate formulas.
J. Log. Comput.
Grigory K. Olkhovikov
2014 J jnl
On Flattening Elimination Rules.
Rev. Symb. Log.
Grigory K. Olkhovikov, Peter Schroeder-Heister
2013 J jnl
Failure of interpolation in constant domain intuitionistic logic.
J. Symb. Log.
Grigori Mints, Grigory K. Olkhovikov, Alasdair Urquhart
2013 J jnl
Model-Theoretic characterization of intuitionistic Propositional Formulas.
Rev. Symb. Log.
Grigory K. Olkhovikov