В университете как раз писал диплом по мат.логике возможных миров. Так что это такая вполне реальная алгебра. А вот модус "секретный", имхо, будет тем же самым, что и "возможный". Математически ничего нового.
Посмотреть обсуждение, содержащее этот комментарий