Scifaro

中文

带全局模态和角色层次的分级混合逻辑的终止表列

计算机科学中的逻辑 2015-07-01 v3

作者: Mark Kaminski , Sigurd Schneider , Gert Smolka

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

我们提出了一种用于带全局模态、自反性、传递性和角色层次的分级混合逻辑的终止表列演算。该系统的终止是通过基于模式的阻塞实现的。先前对相关逻辑的处理都依赖于基于链的阻塞。除了概念简单且适合高效实现外，基于模式的方法为判定过程提供了NExpTime复杂度界。

关键词

分级混合逻辑表列演算终止性基于模式的阻塞全局模态角色层次 NExpTime

引用

@article{arxiv.1012.0746,
  title  = {Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies},
  author = {Mark Kaminski and Sigurd Schneider and Gert Smolka},
  journal= {arXiv preprint arXiv:1012.0746},
  year   = {2015}
}