Модальные логики топологических пространствдиссертация