<p>The question you ask is more complex than it seems. ITLs have been defined in different ways and fashions, and the answer depends on the particular definition and the particular semantics. To get an intuition, you have to decide first if points are to be considered special intervals or excluded by the semantics; the second choice is more common, and it makes more difficult the comparison. I suggest to check, first, the webpages </p>

<p>1.<a href="http://perseo.dif.um.es/~guido/publications.html" rel="nofollow">http://perseo.dif.um.es/~guido/publications.html</a></p>

<p>2.<a href="https://itl.dimi.uniud.it/" rel="nofollow">https://itl.dimi.uniud.it/</a></p>

<p>to get an idea of the last 10 years of research on this topic. Second, you can contact me to discuss more in particular your question (my address is on the link number 1).</p>

<p>cheers</p>

CC BY-SA 3.0
2013-09-03T08:30:13.220Z
2013-09-03T08:30:13.220Z
guido
<p>The paper mentions in the preliminaries that it encodes Allen Interval temporal logic into the FG-fragment of LTL (which only has the "globally" and "eventually" modalities). Full LTL is strictly more expressive (e.g., consider the formula a U b) and thus cannot be encoded in Allen Interval temporal logic. </p>

CC BY-SA 3.0
2013-02-15T13:35:10.283Z
2013-02-15T13:35:10.283Z
Markus
<p>I am trying to understand the relation between interval temporal logic and linear temporal logic. Do the two form of expressing temporal constraints have the same expressive power, or is one of the two more expressive?</p>

<p>I found a proof of the ability of translating Allen Interval temporal logic formulas into linear temporal logic formulas (<a href="http://fsl.cs.uiuc.edu/index.php/Allen_Linear_(Interval)_Temporal_Logic_-Translation_to_LTL_and_Monitor_Synthesis-" rel="nofollow">http://fsl.cs.uiuc.edu/index.php/Allen_Linear_(Interval)_Temporal_Logic_-Translation_to_LTL_and_Monitor_Synthesis-</a>), but I couldn't find much info for the other direction. </p>

CC BY-SA 3.0
2013-02-15T08:30:26.393Z
In the paper you cite they tailor a special semantics to LTL such that it deals with intervals, thus enabling the translation.
In the converse direction, you need to somehow define a semantics for ITL to deal with atomic propositions, discrete time, and infinite sequences. Do you have such a semantics in mind?
Shaull
<lo.logic><temporal-logic><linear-temporal-logic>
Relation between interval temporal logic and linear temporal logic
Mirko
# Relation between interval temporal logic and linear temporal logic

(Asked by: username_0 on 2013-02-14)

I am trying to understand the relation between interval temporal logic and linear temporal logic. Do the two form of expressing temporal constraints have the same expressive power, or is one of the two more expressive?

I found a proof of the ability of translating Allen Interval temporal logic formulas into linear temporal logic formulas (<http://fsl.cs.uiuc.edu/index.php/Allen_Linear_(Interval)_Temporal_Logic_-Translation_to_LTL_and_Monitor_Synthesis->), but I couldn't find much info for the other direction.

**Tags:** lo.logic, temporal-logic, linear-temporal-logic
> **Comments:**
> **username_1**: In the paper you cite they tailor a special semantics to LTL such that it deals with intervals, thus enabling the translation. In the converse direction, you need to somehow define a semantics for ITL to deal with atomic propositions, discrete time, and infinite sequences. Do you have such a semantics in mind?  

---

## 2 answers

### Answer by username_2 on 2013-09-03. Score: 2

The question you ask is more complex than it seems. ITLs have been defined in different ways and fashions, and the answer depends on the particular definition and the particular semantics. To get an intuition, you have to decide first if points are to be considered special intervals or excluded by the semantics; the second choice is more common, and it makes more difficult the comparison. I suggest to check, first, the webpages

1.<http://perseo.dif.um.es/~guido/publications.html>

2.<https://itl.dimi.uniud.it/>

to get an idea of the last 10 years of research on this topic. Second, you can contact me to discuss more in particular your question (my address is on the link number 1).

cheers


---

### Answer by username_3 on 2013-02-15. Score: 1

The paper mentions in the preliminaries that it encodes Allen Interval temporal logic into the FG-fragment of LTL (which only has the "globally" and "eventually" modalities). Full LTL is strictly more expressive (e.g., consider the formula a U b) and thus cannot be encoded in Allen Interval temporal logic.


---

