Let  be a set of temporal declassi

Let  be a set of temporal declassifications. A program P satisfies absence of
knowledge modulo temporal declassifications  iff:

Kết quả (Việt) 1:

Để là một bộ thời declassifications. Một chương trình P thỏa mãn sự vắng mặt củakiến thức theo modulo thời declassifications iff:

Kết quả (Việt) 2:

Để cho ? là một tập hợp các declassifications thời gian. Một chương trình P thỏa mãn sự vắng mặt của
kiến thức theo modulo declassifications thời gian? khi và chỉ khi: