Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations

  title={Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations},
  author={Davide Bresolin and Emilio Mu{\~n}oz-Velasco and Guido Sciavicco},
Interval temporal logics provide a natural framework for temporal reasoning about interval structures over linearly ordered domains, where intervals are taken as the primitive ontological entities. The most influential propositional interval-based logic is probably Halpern and Shoham’s Modal Logic of Time Intervals, a.k.a. HS. While most studies focused on the computational properties of the syntactic fragments that arise by considering only a subset of the set of modalities, the fragments that… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 25 references

Similar Papers

Loading similar papers…