Yuri Gurevich, Saharon Shelah. The Decision Problem for Branching Time Logic. Journal of Symbolic Logic, 50(3):668-681, 1985.
@article{GurevichS85, title = {The Decision Problem for Branching Time Logic}, author = {Yuri Gurevich and Saharon Shelah}, year = {1985}, tags = {logic}, researchr = {https://researchr.org/publication/GurevichS85}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {50}, number = {3}, pages = {668-681}, }