Runtime Verification for LTL and TLTL

It is shown that the set of monitorable properties does not only encompass the safety and cosafety properties but is strictly larger than previously shown, and the presented approach is related to the properties monitorable in general.