First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
复制标题
DOI：
10.3233/fi-2011-382
复制
发表时间：
2009-06
期刊：
影响因子：
--
通讯作者：
F. Belardinelli;A. Lomuscio
中科院分区：
文献类型：
--
作者：
F. Belardinelli;A. Lomuscio
我们研究了量化的解释系统，这是线性时间上一阶时间认知逻辑的计算基础语义。我们报告了包含LTL模态以及分布式和公共知识的语言的单片段的完备性结果。我们通过分析一阶设置中的消息传递系统（分布式系统的典型框架）来举例说明形式化的可能用途。
We investigate quantified interpreted systems, a computationally grounded semantics for a first-order temporal epistemic logic on linear time. We report a completeness result for the monodic fragment of a language that includes LTL modalities as well as distributed and common knowledge. We exemplify possible uses of the formalism by analysing message passing systems, a typical framework for distributed systems, in a first-order setting.