Grigory Olkhovikov

Available identifiers

zbMath Open olkhovikov.grigory-kMaRDI QIDQ518746

List of research outcomes

Publication	Date of Publication	Type
A basic system of paraconsistent Nelsonian logic of conditionals.	2025-01-13	Paper
An intuitionistically complete system of basic intuitionistic conditional logic	2024-10-24	Paper
A basic system of paraconsistent Nelsonian logic of conditionals	2023-11-04	Paper
A Lindström theorem for intuitionistic first-order logic	2023-09-21	Paper
An intuitionistically complete system of basic intuitionistic conditional logic	2023-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q5878359	2023-02-21	Paper
Questions to Michael Dunn	2023-01-16	Paper
Justification announcements in discrete time. Part I: Completeness results	2022-08-10	Paper
Craig interpolation theorem fails in bi-intuitionistic predicate logic	2022-04-30	Paper
Maximality of bi-intuitionistic propositional logic	2022-02-08	Paper
A Lindström theorem in many-valued modal logic over a finite MTL-chain	2021-01-19	Paper
RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC	2020-08-26	Paper
A Lindström theorem for intuitionistic propositional logic	2020-05-04	Paper
Simplified tableaux for STIT imagination logic	2020-02-14	Paper
Justification announcements in discrete time. Part II: Frame definability results	2019-11-04	Paper
A completeness result for implicit justification stit logic	2019-09-23	Paper
Inference as doxastic agency. I: The basics of justification stit logic	2019-05-15	Paper
Stit logic of justification announcements: a completeness result	2019-01-31	Paper
An axiomatic system and a tableau calculus for STIT imagination logic	2018-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4639919	2018-05-14	Paper
Explicit justification stit logic: a completeness result	2017-09-19	Paper
On generalized van Benthem-type characterizations	2017-06-15	Paper
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL	2017-03-30	Paper
An axiomatic system for STIT imagination logic	2015-04-10	Paper
ON FLATTENING ELIMINATION RULES	2015-01-21	Paper
Model-theoretic characterization of intuitionistic predicate formulas	2015-01-12	Paper
Failure of interpolation in constant domain intuitionistic logic	2014-01-07	Paper
MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS	2013-06-18	Paper
Intuitionistic predicate logic of constant domains does not have Beth property	2012-04-25	Paper

Research outcomes over time

This page was built for person: Grigory Olkhovikov