1. S. A. Melikhov, ‘‘A Galois connection between classical and intuitionistic logics. I: Syntax,’’ (2013). arXiv:1312.2575 [math.LO]
2. S. A. Melikhov, ‘‘A Galois connection between classical and intuitionistic logics. II: Semantics,’’ (2015). arXiv:1504.03379 [math.LO]
3. A. N. Kolmogorov, Mathematics and Mechanics: Selected Works (Nauka, Moscow, 1985).
4. A. A. Onoprienko, ‘‘Kripke semantics for the logic of problems and propositions,’’ Sb. Math. 211, 709–732 (2020). https://doi.org/10.1070/SM9275
5. A. A. Onoprienko, ‘‘Predicate version of the joint logic of problems and propositions,’’ Mat. Sb. 213 (7), 97–120 (2022). https://doi.org/10.4213/sm9608