A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders
2010
2010 17th International Symposium on Temporal Representation and Reasoning
An interval temporal logic is a propositional, multimodal logic interpreted over interval structures of partial orders. The semantics of each modal operator are given in the standard way with respect to one of the natural accessibility relations defined on such interval structures. In this paper, we consider the modal operators based on the (reflexive) subinterval relation and the (reflexive) super-interval relation. We show that the satisfiability problems for the interval temporal logics
doi:10.1109/time.2010.18
dblp:conf/time/MontanariPS10
fatcat:o76ols4ff5dm3ouuh74ytavepe