Translation to Lo2

Question

Hi,

If we translate the LTL to Lo1, will it also satisfy the translation to Lo2? if not then what is the valid way of translation to Lo2?

Answer 1

LO1 is the subset of LO2 that does not make use of second order quantification. Hence, any LO1 formula is also a LO2 formula, and therefore a translation from LTL to LO1 is also a (special) translation from LTL to LO2.

Comments

Thanks so in the exam will LO1 translation for a given LTL be accepted?

---

If the question is to translate the given LTL formula to LO1 or LO2, the answer is yes, since LO1⊂LO2.

---

understood thanks.