Hybrid Fragments of Halpern-Shoham Logic and their Expressive Power
Theoretical Computer Science(2019)
摘要
Halpern and Shoham modal logic of time intervals (HS in short) is an elegant and highly influential propositional interval-based modal logic. Its sub-propositional fragments, that is fragments obtained by restricting use of propositional connectives, and their hybrid extensions with nominals and satisfaction operators have been recently studied and successfully applied in real-world use cases. Detailed investigation of their decidability and computational complexity has been conducted, however, there has been significantly less research on their expressive power. In this paper we make a step towards filling this gap. In particular, we (1) compare classes of frames definable in full HS and in its hybrid extension, and (2) determine in which sub-propositional HS-fragments we can express the difference operator, nominals, and satisfaction operators. The obtained results enable us to classify HS, its sub-propositional fragments, and their hybrid extensions according to their expressive power.
更多查看译文
关键词
Temporal logic,Expressive power,Hybrid logic,Halpern–Shoham logic,Interval logic
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络