“…The inference problem of temporal logic, in general, has gained popularity in the recent years. Apart from LTL, this problem has been looked at for a variety of logics, including Past Time Linear Temporal Logic (PLTL) [1], Signal Temporal Logic (STL) [19,10,20,12,2,9], Property Specification Language (PSL) [17] and several others [21,22,24].…”