Gabbay's separation theorem about linear temporal logic with past has proved to be one of the most useful theoretical results in temporal logic. In this paper, we establish an analogous statement a...

Proc. of the 8th International Conference on Advances in Modal Logic, (AiML'2010).