Hybrid fragments of Halpern–Shoham logic and their expressive power

Halpern and Shoham modal logic of time intervals ( 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 satis...