Dragan Doder, Zoran Ognjanovic, Zoran Markovic. An Axiomatization of a First-order Branching Time Temporal Logic. J. UCS, 16(11):1439-1451, 2010. [doi]
@article{DoderOM10, title = {An Axiomatization of a First-order Branching Time Temporal Logic}, author = {Dragan Doder and Zoran Ognjanovic and Zoran Markovic}, year = {2010}, url = {http://www.jucs.org/jucs_16_11/an_axiomatization_of_a}, tags = {logic}, researchr = {https://researchr.org/publication/DoderOM10}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {16}, number = {11}, pages = {1439-1451}, }