Hybrid logic with the difference modality for generalisations of graphs
Hybrid logic with the difference modality for generalisations of graphs
复制标题
具有图概括的差分模态的混合逻辑
DOI：
10.1016/j.jal.2010.08.011
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
D. Pattinson
中科院分区：
文献类型：
--
作者：
R. Myers;D. Pattinson
我们讨论了最近的工作，将具有差模态的基本混合逻辑推广到任何合理的转换概念。这同样适用于子关系转换，如单调邻域框架或选择函数模型，以及具有更多结构的转换，如马尔可夫链和交替时间框架。我们提供了一个通用的规范无切割序列系统和一个片段的终止证明搜索策略，该系统没有差异模态，但包含了全局模态。
We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transitions such as monotone neighbourhood frames or selection function models as well as those with more structure such as Markov chains and alternating temporal frames. We provide a generic canonical cut-free sequent system and a terminating proof-search strategy for the fragment without the difference modality but including the global modality.