https://123dok.net/document/6qm8xv7z-logics-for-non-cooperative-games-with-expectations.html