Modal Theorem 4.1

برابر انگلیک (انگلیسی): Modal Theorem 4.1
دیسه‌ای
□□𝐴≡□𝐴
□□A≡□A