An article by Anastasia Onoprienko has been published

The journal Mathematical Notes has published an article by Anastasia Onoprienko titled "Intuitionistic Epistemic Logic from the Point of View of Classical Logic."

Abstract

We consider the intuitionistic epistemic logics IEL−, IEL, and IEL+, introduced by S. Artyomov and T. Protopopescu. A translation of the formulas of these logics into the formulas of the classical bimodal logic S4V−M, S4VM, S4V+M, and S4V+MU is constructed. This translation is a generalization of Gödel's translation of intuitionistic logic into logic S4. The finiteness of the set of pairwise nonequivalent modalities in the logics S4V+M and S4V+MU and the infinity of the set of pairwise nonequivalent modalities in the logic S4V+ are demonstrated. The finite approximability of the logic S4V+MU is established.

Onoprienko A. A. Intuitionistic Epistemic Logic from the Point of View of Classical Logic // Mathematical Notes. 2026. Vol. 120. No. 1. pp. 118–139.