摘要

模态逻辑在计算机科学中有着丰富的应用,大量结构不同的模态逻辑已成功地应用于各种应用环境中。另一方面,Coalgebraic语义对特定领域中使用的各种特定逻辑提供了统一而全面的观点。联合方法是通用和组合的:工具和技术同时应用于大量应用领域,并且可以以模块化的方式组合。特别是,这有助于选择适用于整个应用领域范围的特定领域形式,从而产生更易于设计、实现和维护的通用软件工具。本文证实了作者的坚定信念,即系统地利用模态逻辑的联合性质不仅会对模态逻辑本身领域产生影响,而且会在计算机科学的许多领域取得重大进展,例如知识表示和并发/移动性。

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。