关于APAL完全性的一个简要证明(英文)

鲍博尼等人(P.Balbiani et al.,[2])提出了任意公开宣告逻辑(APAL)。它是普拉策(J.Plaza,[7])公开宣告逻辑的扩展,加入了关于宣告的量词。这种逻辑已经被公理化,但它的完全性证明总被认为可能会很复杂。在本文中,我们提供了关于任意公开宣告逻辑的一个简要的完全性证明。这个证明是鲍博尼等人([2])证明的优化版。

不确定性对策略性投票的影响（英文）

如果选民不确定其他选民的偏好以及其他选民对他本人偏好的知晓程度,选票操纵的策略会变得更复杂。为了研究这种认知不确定性对策略性投票的影响,本文提供了一个形式分析框架并定义了选票操纵、优势偏好、均衡票况等概念。我们发现:即使真实偏好相同但关于偏好的高阶知识不同也会影响均衡票况。另外,本文还研究了不确定性的更新对选票操纵的影响,如某位选民对他本人的偏好进行公开宣告。我们证明了有些形式的选票操纵和均衡票况可以在这样的更新下得到保持,而另一些则不能被保持。最后,我们用一个逻辑语言形式化了不确定性选举的相关概念。本文的目的是给出一个分析和设计面向不确定性的投票机制的技术基础。