时序逻辑

反馈
修正?更新?遗漏?让我们知道如果你有建议来改进这篇文章(需要登录)。
谢谢您的反馈

我们的编辑将审阅你所提交的内容,并决定是否修改文章。

外部网站
替代标题:时间逻辑,时态逻辑

了解本主题在这些文章中:

主要参考

  • 亚里士多德
    应用逻辑:时间逻辑

    时间概念在历史上与逻辑概念有着密切的关系。例如,许多早期的思想家没有区分逻辑的必然性和自然的必然性(如亚里士多德),他们把必要的真理和无所不在的真理(在任何时候都能获得真理)相互同化。

    阅读更多

人工智能

  • 人工智能编程语言

    这些语言基于时态逻辑,允许语句在时间流中定位。(时态逻辑于1953年由新西兰基督城坎特伯雷大学的哲学家阿瑟·普赖尔发明。)

    阅读更多
  • 阿兰·图灵
    人工智能:人工智能编程语言

    这些语言基于时态逻辑,允许语句在时间流中定位。(时态逻辑于1953年由新西兰基督城坎特伯雷大学的哲学家阿瑟·普赖尔发明。)

    阅读更多