处理逻辑全知问题：表达能力与语用

我们考察了处理逻辑全知问题的四种方法及其潜在适用性：句法方法、意识方法、算法知识以及不可能的可能世界。尽管在某些设定下这些方法具有同等的表达能力并能刻画所有的认知状态，但在其他受关注的设定中（尤其是引入概率时），我们表明它们并不具有同等的表达能力。随后，我们考虑了处理逻辑全知问题的语用——如何选择一种方法并构建合适的模型。