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},
}