K. A. toss ∧ K B K

Handbook of Knowledge Representation Edited Reasoning about Knowledge and Belief 15.2 the Possible Worlds Model 15.2.1 a Language for Knowledge and Belief

Yoram Moses, V. Lifschitz, Y. Moses, 2022 .