Содержателдьное построение систем модальной логикистатья