Temporal Patterns and Modal Structure
Temporal Patterns and Modal Structure
复制标题
时间模式和模态结构
作者：
J. Benthem
时间逻辑产生于哲学和语言学的边缘。从70年代起，它成为计算机科学和人工智能的主要工具，成为新逻辑发展的最强大来源。我们讨论了一些最近的主题，展示了新的连接模态逻辑。在此过程中，我们指出了一些新类型的开放研究问题。出现在A。Montanari，A. Policriti & Y. Venema，eds.纯逻辑与应用逻辑兴趣小组时间逻辑公报特刊
Temporal logic arose at the border of philosophy and linguistics. From the seventies onward, it became a major tool also in computer science and artificial intelligence, which have become the most powerful source of new logical developments since. We discuss some recent themes demonstrating new connections with modal logic. In the course of this, we point out some new types of open research questions. to appear in A. Montanari, A. Policriti & Y. Venema, eds. special issue on Temporal Logic Bulletin of the Interest Group for Pure and Applied Logics