It is well known in AI and is covered in standard AI books. A good start https://www.cambridge.org/core/books/epistemic-logic-for-ai-and-computer-science/B08A

It is well known in AI and is covered in standard AI books. A good start https://www.cambridge.org/core/books/epistemic-logic-for-ai-and-computer-science/B08AA3A5CBFBE47274873B1177DB0ADA https://www.cambridge.org/core/books/epistemic-logic-for-ai-...