Hybrid logic with the difference modality for generalisations of graphs |
| |
Authors: | Robert S.R. Myers Dirk Pattinson |
| |
Affiliation: | a Department of Computing, Imperial College London, United Kingdom |
| |
Abstract: | 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. |
| |
Keywords: | Global modality Difference modality Coalgebraic semantics Cut-free sequent system |
本文献已被 ScienceDirect 等数据库收录! |