https://123dok.net/document/z1dwkddz-a-logic-of-explicit-and-implicit-distributed-belief.html