%0 Journal Article %A V. V. Rimatskiy %T Basis of globally admissible rules for logic $S4$ %J The Bulletin of Irkutsk State University. Series Mathematics %D 2024 %P 152-169 %V 50 %I mathdoc %U http://geodesic.mathdoc.fr/item/IIGUM_2024_50_a10/ %G ru %F IIGUM_2024_50_a10