2 problems

Let $\mathbf{ICKT}$ and $\mathbf{ICKS4}$ be the intuitionistic common knowledge logics considered in the paper, and let their validity problems ask whether a formula is valid in th…

Let there be two agents, $A$ and $B$. Let $\phi$ be a sentence in $\lang_1(\bSigmaPri)$, and let $\alpha$ be an action in $\lang_1(\bSigmaPri)$ whose announcements are all private:…