Семантика логик ветвящегося времени с квантификацией по возможным историямдипломная работа (Бакалавр)