0 votes

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?

in * TF "Emb. Sys. and Rob." by (1.4k points)

1 Answer

+1 vote
 
Best answer
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.
by (93k points)
selected by
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.

Related questions

0 votes
1 answer
asked Feb 8, 2021 in * TF "Emb. Sys. and Rob." by daodubasit (790 points)
+2 votes
1 answer
asked Aug 16, 2018 in * TF "Emb. Sys. and Rob." by cjcbusatto (180 points)
0 votes
1 answer
asked Aug 14, 2020 in * TF "Vis. and Sci. Comp." by Anshu (870 points)
0 votes
1 answer
0 votes
1 answer
Imprint | Privacy Policy
...