I want to apply Fischer Ladner Closure on LTL formulae but it states formulae cannot contain G or F for applying Fischer Ladner to find closure. I want to find the closure of the LTL formulae. How can solve such problem? (Eg. Gp)I am a student and just started learning Linear logics. If it's very elementary please let me know.
Conversion of a LTL formulae with F to formulae wihout G or F
model checking;linear temporal logic