Grigory K. Olkhovikov

According to our database, Grigory K. Olkhovikov authored at least 22 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic.

Grigory K. Olkhovikov

J. Philos. Log., October, 2024

Craig interpolation Theorem Fails in bi-intuitionistic Predicate Logic.

Grigory K. Olkhovikov, Guillermo Badia

Rev. Symb. Log., 2024

2023

A Lindström theorem for intuitionistic first-order logic.

Grigory K. Olkhovikov, Guillermo Badia, Reihane Zoghifard

Ann. Pure Appl. Log., December, 2023

On the Completeness of Some First-order Extensions of C.

Grigory K. Olkhovikov

FLAP, 2023

2022

Maximality of bi-intuitionistic propositional logic.

Grigory K. Olkhovikov, Guillermo Badia

J. Log. Comput., 2022

2020

Restricted interpolation and Lack thereof in STIT Logic.

Grigory K. Olkhovikov

Rev. Symb. Log., 2020

A Lindström Theorem for Intuitionistic Propositional Logic.

Guillermo Badia, Grigory K. Olkhovikov

Notre Dame J. Formal Log., 2020

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

Guillermo Badia, Grigory K. Olkhovikov

Fuzzy Sets Syst., 2020

2019

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

Grigory K. Olkhovikov, Heinrich Wansing

Stud Logica, 2019

Simplified Tableaux for STIT Imagination Logic.

Grigory K. Olkhovikov, Heinrich Wansing

J. Philos. Log., 2019

Justification announcements in discrete time. Part II: Frame definability results.

Grigory K. Olkhovikov

Log. J. IGPL, 2019

2018

Stit logic of justification announcements: a completeness result.

Grigory K. Olkhovikov

J. Log. Comput., 2018

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

Grigory K. Olkhovikov, Heinrich Wansing

J. Philos. Log., 2018

Justification announcements in discrete time. Part I: Completeness results.

Grigory K. Olkhovikov

Log. J. IGPL, 2018

2017

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

Grigory K. Olkhovikov

J. Appl. Log., 2017

On generalized Van Benthem-type characterizations.

Grigory K. Olkhovikov

Ann. Pure Appl. Log., 2017

2016

A Complete, Correct, and Independent Axiomatization of the First-Order Fragment of a Three-Valued Paraconsistent Logic.

Grigory K. Olkhovikov

FLAP, 2016

On a New Three-Valued Paraconsistent Logic.

Grigory K. Olkhovikov

FLAP, 2016

2014

On Flattening Elimination Rules.

Grigory K. Olkhovikov, Peter Schroeder-Heister

Rev. Symb. Log., 2014

Model-theoretic characterization of intuitionistic predicate formulas.

Grigory K. Olkhovikov

J. Log. Comput., 2014

2013

Model-Theoretic characterization of intuitionistic Propositional Formulas.

Grigory K. Olkhovikov

Rev. Symb. Log., 2013

Failure of interpolation in constant domain intuitionistic logic.

Grigori Mints, Grigory K. Olkhovikov, Alasdair Urquhart

J. Symb. Log., 2013