Grigory K. 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	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Grigory K. Olkhovikov