Grigory K. Olkhovikov

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 17

Top Topics

Monadic Datalog

Coalition Logic

Propositional Logic

Top Venues

J. Log. Comput.

Rev. Symb. Log.

Publications

Grigory K. Olkhovikov, Guillermo Badia
Craig interpolation Theorem Fails in bi-intuitionistic Predicate Logic. Rev. Symb. Log. 17 (2) (2024)
Grigory K. Olkhovikov
On the Completeness of Some First-order Extensions of C. FLAP 10 (1) (2023)
Grigory K. Olkhovikov, Guillermo Badia, Reihane Zoghifard
A Lindström theorem for intuitionistic first-order logic. Ann. Pure Appl. Log. 174 (10) (2023)
Grigory K. Olkhovikov, Guillermo Badia
Maximality of bi-intuitionistic propositional logic. J. Log. Comput. 32 (1) (2022)
Guillermo Badia, Grigory K. Olkhovikov
A Lindström theorem in many-valued modal logic over a finite MTL-chain. Fuzzy Sets Syst. 388 (2020)
Guillermo Badia, Grigory K. Olkhovikov
A Lindström Theorem for Intuitionistic Propositional Logic. Notre Dame J. Formal Log. 61 (1) (2020)
Grigory K. Olkhovikov
Restricted interpolation and Lack thereof in STIT Logic. Rev. Symb. Log. 13 (3) (2020)
Grigory K. Olkhovikov, Heinrich Wansing
Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic. Stud Logica 107 (1) (2019)
Grigory K. Olkhovikov, Heinrich Wansing
Simplified Tableaux for STIT Imagination Logic. J. Philos. Log. 48 (6) (2019)
Grigory K. Olkhovikov
Justification announcements in discrete time. Part II: Frame definability results. Log. J. IGPL 27 (5) (2019)
Grigory K. Olkhovikov, Heinrich Wansing
An Axiomatic System and a Tableau Calculus for STIT Imagination Logic. J. Philos. Log. 47 (2) (2018)
Grigory K. Olkhovikov
Stit logic of justification announcements: a completeness result. J. Log. Comput. 28 (6) (2018)
Grigory K. Olkhovikov
Justification announcements in discrete time. Part I: Completeness results. Log. J. IGPL 26 (3) (2018)
Grigory K. Olkhovikov
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL. J. Appl. Log. 21 (2017)
Grigory K. Olkhovikov
On generalized Van Benthem-type characterizations. Ann. Pure Appl. Log. 168 (9) (2017)
Grigory K. Olkhovikov
On a New Three-Valued Paraconsistent Logic. FLAP 3 (3) (2016)
Grigory K. Olkhovikov
A Complete, Correct, and Independent Axiomatization of the First-Order Fragment of a Three-Valued Paraconsistent Logic. FLAP 3 (3) (2016)
Grigory K. Olkhovikov, Peter Schroeder-Heister
On Flattening Elimination Rules. Rev. Symb. Log. 7 (1) (2014)
Grigory K. Olkhovikov
Model-theoretic characterization of intuitionistic predicate formulas. J. Log. Comput. 24 (4) (2014)
Grigori Mints, Grigory K. Olkhovikov, Alasdair Urquhart
Failure of interpolation in constant domain intuitionistic logic. J. Symb. Log. 78 (3) (2013)
Grigory K. Olkhovikov
Model-Theoretic characterization of intuitionistic Propositional Formulas. Rev. Symb. Log. 6 (2) (2013)