1. Applications of logic of correlated knowledge to quantum mechanics