Статья 540

Очевидно, что все аксиомы системы имеют место при такой интерпретации.
Пусть есть группа, состоящая из процессоров. Будем говорить, что достижимо из по отношению Я, если существуют точки и процессоры, такие, что и процессор, находится в одном и том же состоянии. Определим операторы группового знания если и только если для всех, таких, что для некоторого, если и только если.
И для всех, достижимых из по отношению. Нетрудно проверить, что имеет место для всех в точке, исходя из определения, что, если и только если имеет место во всех точках, достижимых.

Рассуждения при ограниченных ресурсах. Логика с ресурсами.

существуют

существуют

Интересным свойством человеческих рассуждений является то, что некоторый процесс логического вывода может выполняться в течение ограниченного отрезка времени, а потом может быть отброшен или замещен чем-то другим.