• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic
【24h】

Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic

机译：在S5认知时间逻辑中使用下一步时间运算符表征完美召回

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

摘要

We review the notion of perfect recall in the literature on interpreted systems, game theory and epistemic logic. In the context of Epistemic Temporal Logic (ETL), we give a (to our knowledge) novel frame condition for perfect recall. In contrast to existing characterizations, it is local in a sense which allows it to straightforwardly be translated into a defining formula in a language that only has next-step temporal operators. This frame condition also gives rise to a complete axiomatization of perfect recall in S5 ETL.
机译：我们回顾了关于解释系统，博弈论和认知逻辑的文献中的完全回忆的概念。在认知时态逻辑（ETL）的背景下，我们（据我们所知）给出了一种新颖的框架条件，以实现完美召回。与现有特征相反，它是局部的，从某种意义上讲，它可以用仅具有下一步时间运算符的语言将其直接翻译为定义公式。这种框架条件还引起了S5 ETL中完全召回的完全公理化。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号