Статья 531

Поясним это определение на примере. Допустим, что в клубе Звезда по вечерам в течение недели идет фильм-детектив. Спрашивает Ты когда-либо смотрел фильм, который идет в Звезде по вечерам.. Предполагается, о каком фильме идет речь. Также должен знать, что знает об этом фильме, и наоборот. Более того, должен знать, что знает, что знает.
Пусть их обозначает каждый знает, что, обозначает, есть общее знание. Новые операторы можно определить следующим образом в семантиках типа Крипке и существенную роль в достижении общего знания играют условия коммуникации. Проиллюстрируем это на примере, вошедшем в фольклор по распределенным системам.
Две дивизии одной армии расположились на двух холмах, возвышающихся над общей долиной. долине находится враг. Ясно, что если обе дивизии атакуют врага одновременно, то они выиграют сражение, тогда как атака одной дивизией приведет к поражению.