text: Семантика оператора общего знания создаётся рефлексивным и транзитивным замыканием R i {\displaystyle R_{i}} для всех агентов i в G (получаемое отношение обозначается как R G {\displaystyle R_{G}} ) при условии, что C G φ {\displaystyle C_{G}\varphi } верно в состоянии s тогда и только тогда, когда φ {\displaystyle \varphi } верно во всех состояниях t таких, что ( s , t ) ∈ R G {\displaystyle (s,t)\in R_{G}} .