关于标准Gödel模态逻辑中公开宣告的说明
逻辑
2021-12-15 v2
摘要
我们在Caicedo和Rodriguez引入的标准Gödel模态逻辑背景下研究公开宣告算子。在该基础逻辑上，允许在模态Kripke模型的[0,1]值推广上自然语义，我们展示了公开宣告算子的三种可能语义解释，它们在经典设置中等价，并表明这些逻辑在表达强度上各不相同。我们通过希尔伯特式演算为这些逻辑提供了部分完备性结果。
引用
@article{arxiv.1707.05872,
title = {A note on public announcements in standard G\"odel modal logic},
author = {Nicholas Pischke},
journal= {arXiv preprint arXiv:1707.05872},
year = {2021}
}
备注
12 pages