We stand with Ukraine  

Grigory K. Olkhovikov

Orcid: 0000-0001-7773-5038

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A basic system of paraconsistent Nelsonian logic of conditionals.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
J. Log. Lang. Inf., December, 2024

An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
J. Philos. Log., October, 2024

Craig interpolation Theorem Fails in bi-intuitionistic Predicate Logic.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
,
Guillermo Badia
Rev. Symb. Log., 2024

2023
A Lindström theorem for intuitionistic first-order logic.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
,
Guillermo Badia
,
Reihane Zoghifard
Ann. Pure Appl. Log., December, 2023

On the Completeness of Some First-order Extensions of C.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
FLAP, 2023

2022
Maximality of bi-intuitionistic propositional logic.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
,
Guillermo Badia
J. Log. Comput., 2022

2020
Restricted interpolation and Lack thereof in STIT Logic.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
Rev. Symb. Log., 2020

A Lindström Theorem for Intuitionistic Propositional Logic.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Guillermo Badia
,
Grigory K. Olkhovikov
Fuzzy Sets Syst., 2020

2019
Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
,
Heinrich Wansing
Stud Logica, 2019

Simplified Tableaux for STIT Imagination Logic.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
,
Heinrich Wansing
J. Philos. Log., 2019

Justification announcements in discrete time. Part II: Frame definability results.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
Log. J. IGPL, 2019

2018
Stit logic of justification announcements: a completeness result.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
J. Log. Comput., 2018

An Axiomatic System and a Tableau Calculus for STIT Imagination Logic.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
,
Heinrich Wansing
J. Philos. Log., 2018

Justification announcements in discrete time. Part I: Completeness results.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
Log. J. IGPL, 2018

2017
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
J. Appl. Log., 2017

On generalized Van Benthem-type characterizations.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
FLAP, 2016

On a New Three-Valued Paraconsistent Logic.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
FLAP, 2016

2014
On Flattening Elimination Rules.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
,
Peter Schroeder-Heister
Rev. Symb. Log., 2014

Model-theoretic characterization of intuitionistic predicate formulas.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
J. Log. Comput., 2014

2013
Model-Theoretic characterization of intuitionistic Propositional Formulas.
[BibTeX]
[DOI]
Grigory K. Olkhovikov
Rev. Symb. Log., 2013

Failure of interpolation in constant domain intuitionistic logic.
[BibTeX]
[DOI]
Grigori Mints
,
Grigory K. Olkhovikov
,
Alasdair Urquhart
J. Symb. Log., 2013


  Loading...