The following pages link to Grigory K. Olkhovikov (Q518746):
Displayed 32 items.
- A short proof of Glivenko theorems for intermediate predicate logics (Q377463) (← links)
- On expressive power of basic modal intuitionistic logic as a fragment of classical FOL (Q518747) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- New constants in two pretabular superintuitionistic logics (Q695769) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- An axiomatic system and a tableau calculus for STIT imagination logic (Q1749805) (← links)
- (Q2176404) (redirect page) (← links)
- A Lindström theorem for intuitionistic propositional logic (Q2176405) (← links)
- A Lindström theorem in many-valued modal logic over a finite MTL-chain (Q2219166) (← links)
- Simplified tableaux for STIT imagination logic (Q2295596) (← links)
- On generalized van Benthem-type characterizations (Q2358625) (← links)
- Inference as doxastic agency. I: The basics of justification stit logic (Q2631648) (← links)
- Failure of Interpolation in Constant Domain Intuitionistic Logic (Q2869908) (← links)
- Model-theoretic characterization of intuitionistic predicate formulas (Q2937693) (← links)
- ON FLATTENING ELIMINATION RULES (Q2940866) (← links)
- Stit logic of justification announcements: a completeness result (Q4612434) (← links)
- (Q4639919) (← links)
- MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS (Q4928778) (← links)
- Maximality of bi-intuitionistic propositional logic (Q5028301) (← links)
- Questions to Michael Dunn (Q5059687) (← links)
- Justification announcements in discrete time. Part I: Completeness results (Q5095638) (← links)
- RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC (Q5117589) (← links)
- A completeness result for implicit justification stit logic (Q5197392) (← links)
- Justification announcements in discrete time. Part II: Frame definability results (Q5241923) (← links)
- (Q5878359) (← links)
- A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)
- Intuitionistic predicate logic of constant domains does not have Beth property (Q6232589) (← links)
- An axiomatic system for STIT imagination logic (Q6260748) (← links)
- Explicit justification stit logic: a completeness result (Q6291585) (← links)
- Craig interpolation theorem fails in bi-intuitionistic predicate logic (Q6397870) (← links)
- An intuitionistically complete system of basic intuitionistic conditional logic (Q6440637) (← links)
- A basic system of paraconsistent Nelsonian logic of conditionals (Q6458023) (← links)