О пространственно-временных модальных логиках с конечными временными шкаламидипломная работа (Специалист)