TY  - JOUR
AU  - V. V. Rimatskiy
TI  - Basis of globally admissible rules for logic $S4$
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2024
SP  - 152
EP  - 169
VL  - 50
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2024_50_a10/
LA  - ru
ID  - IIGUM_2024_50_a10
ER  -