Before revision: In mathematical logic and computer science, Gabbay's separation theorem states that any arbitrary temporal logic formula can be rewritten in a logically equivalent "past → future" form.
After revision: , named after Dov Gabbay,In mathematical logic and computer science, Gabbay's separation theorem states that any arbitrary temporal logic formula can be rewritten in a logically equivalent "past → future" form.