Before revision: Gabbay's separation theorem states ; "Any arbitrary temporal logic formula can be rewritten in a logically equivalent past --> Future form " Ie, form.
After revision: Gabbay's separation theorem states ; that any arbitrary temporal logic formula can be rewritten in a logically equivalent "past → future " In mathematical logic and computer science, form.