Common knowledge can be given a logical definition in multi-modal logic systems in which the modal operators are interpreted epistemically.
Общее знание можно определить для мультимодальных логических систем, где модальные операторы интерпретируются эпистемически.