知道是否
高能物理 - 格点
2013-12-03 v1
摘要
知道一个命题为真意味着知道它为真或知道它为假。在本文中，我们研究了具有“知道是否”模态算子 Kw 但不具有“知道那”模态算子 K 的逻辑。这种逻辑不是正规模态逻辑，因为我们不具备 Kw (phi -> psi) -> (Kw phi -> Kw psi)。“知道是否”逻辑无法定义许多常见的框架性质，且在无反射性的模型类上，其表达能力低于基本模态逻辑。这些特征使得“知道是否”逻辑的公理化变得非平凡。我们在各种框架类上对“知道是否”逻辑进行了公理化。我们还提出了带有公共宣告算子的“知道是否”逻辑扩展，并给出了相应的归约公理。我们将我们的工作与最近两项类似的提议进行了详细比较。
引用
@article{arxiv.1312.0143,
title = {Extracting the effective Polyakov line action from SU(2) and SU(3) lattice gauge theories},
author = {Jeff Greensite and Kurt Langfeld},
journal= {arXiv preprint arXiv:1312.0143},
year = {2013}
}
备注
10 pages, 7 figures. Presented at the QCD TNT-3 meeting, 2-6 Sept. 2013, Trento, Italy