Michael Kaminski. A Branching Time Logic with Past Operators. J. Comput. Syst. Sci., 49(2):223-246, 1994.
@article{Kaminski94, title = {A Branching Time Logic with Past Operators}, author = {Michael Kaminski}, year = {1994}, tags = {logic}, researchr = {https://researchr.org/publication/Kaminski94}, cites = {0}, citedby = {0}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {223-246}, }