当前位置: X-MOL 学术Rev. Symb. Log. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
DYNAMIC GRADED EPISTEMIC LOGIC
The Review of Symbolic Logic ( IF 0.9 ) Pub Date : 2019-07-12 , DOI: 10.1017/s1755020319000285
MINGHUI MA , HANS VAN DITMARSCH

Graded epistemic logic is a logic for reasoning about uncertainties. Graded epistemic logic is interpreted on graded models. These models are generalizations of Kripke models. We obtain completeness of some graded epistemic logics. We further develop dynamic extensions of graded epistemic logics, along the framework of dynamic epistemic logic. We give an extension with public announcements, i.e., public events, and an extension with graded event models, a generalization also including nonpublic events. We present complete axiomatizations for both logics.

中文翻译:

动态分级认知逻辑

分级认知逻辑是一种推理不确定性的逻辑。分级认知逻辑在分级模型上进行解释。这些模型是 Kripke 模型的推广。我们获得了一些分级认识逻辑的完整性。我们沿着动态认知逻辑的框架进一步开发分级认知逻辑的动态扩展。我们给出了一个带有公共公告的扩展,即公共事件,以及一个带有分级事件模型的扩展,一个概括也包括非公共事件。我们为这两种逻辑提供了完整的公理化。
更新日期:2019-07-12
down
wechat
bug