TY  - JOUR
AU  - A. A. Onoprienko
TI  - Bitopological models of intuitionistic epistemic logic
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 2024
SP  - 179
EP  - 181
VL  - 79
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/RM_2024_79_1_a5/
LA  - en
ID  - RM_2024_79_1_a5
ER  -