Fact BBB can be a primitive proposi

Fact BBB can be a primitive proposition or a formula using the usual logical connectives (EE) on primitive propositions, the knowledge operatorh K, and the 'everyone knows' operator E. Propositional logic is adequate to cover many interesting scenarios that occur in distributed executions, although first-order and higher-order logics can also be used. The traditional semantics of knowledge, using the K and E operators, were first based on timed executions.

Results (Vietnamese) 1:

Thực tế BBB có thể là một mệnh đề nguyên thủy hoặc một công thức bằng cách sử dụng hợp lý connectives bình thường (EE) trên nguyên thủy đề xuất, kiến thức nhà điều hành h K, và các nhà điều hành 'mọi người đều biết' E. Propositional logic là đầy đủ để trang trải nhiều tình huống thú vị xảy ra trong phân phối xử tử, mặc dù logic trật tự đầu tiên và thứ tự cao hơn cũng có thể được sử dụng. Ngữ nghĩa truyền thống của kiến thức, sử dụng các nhà điều hành K và E, lần đầu tiên được dựa trên thời gian xử tử.

Results (Vietnamese) 2:

Thực tế BBB có thể là một đề nguyên thủy hoặc một công thức sử dụng từ nối logic thông thường (EE?) Trên mệnh đề nguyên thủy, các nhà điều hành? Kiến thức? H K, và? 'Mọi người đều biết? " điều hành E. mệnh đề logic là đủ để trang trải nhiều tình huống thú vị xảy ra trong hành phân phối, mặc dù thứ tự đầu tiên và bậc cao logic cũng có thể được sử dụng. Ngữ nghĩa truyền thống của kiến ​​thức, bằng cách sử dụng K và các nhà khai thác điện tử, lần đầu tiên được dựa trên hành theo thời gian.