The first set of corrections concerns dual update logic. There was a typographical mistake in the truth conditions of the dual connectives: "y" and "z" should be swapped. The inference rules of the corresponding proof system in Figure 11 had also to be corrected. The second related set of corrections concerns the case study of section 8. It now only deals with intuitionistic logic and not with bi-intuitionistic logic anymore. The results related to that dual part were erroneous.

中文翻译：

---

勘误：显示逻辑更新

第一组更正涉及双重更新逻辑。双重连接词的真实情况存在印刷错误：应互换“ y”和“ z”。图11中相应证明系统的推理规则也必须予以纠正。第二组相关的更正涉及第8节的案例研究。现在，它仅处理直觉逻辑，不再处理双直觉逻辑。与这两个部分有关的结果是错误的。