• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >The Product of Converse PDL and Polymodal K
【24h】

The Product of Converse PDL and Polymodal K

机译：逆向PDL与多峰K的乘积

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The product of two modal logics L_1 and L_2 is the modal logic determined by the class of frames of the form f×O such that f and O validate L_1 and L_2, respectively. This paper proves the decidability of the product of converse PDL and polymodal K. Decidability results for products of modal logics of knowledge as well as temporal logics And polymodal K are discussed. All those products form rather expressive but still decidable fragments of modal Predictate logics. Based on the equivalence of polymodal K and the description logic ALL we shall discuss the Fragments obtained, extend the expressive power a bit, and compare them with other modal description logics.
机译：两个模态逻辑L_1和L_2的乘积是由形式为f×O的帧类别确定的模态逻辑，以使f和O分别验证L_1和L_2。本文证明了逆PDL和多峰K乘积的可判定性。讨论了知识的模态逻辑，时间逻辑和多峰K乘积的可判定性结果。所有这些乘积构成了模态预测逻辑的相当可表达但仍可确定的片段。基于多模态K的等效性和描述逻辑ALL，我们将讨论获得的片段，扩展表达能力，并将其与其他模态描述逻辑进行比较。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号