Doder, D.; Ognjanović, Z.; Marković, Z. An axiomatization of a first-order branching time temporal logic. (English) Zbl 1216.03033 J. UCS 16, No. 11, 1439-1451 (2010). Summary: We introduce a first-order temporal logic for reasoning about branching time. It is well known that the set of valid formulas is not recursively enumerable and there is no finitary axiomatization. We offer a sound and strongly complete axiomatization for the considered logic. Cited in 3 Documents MSC: 03B44 Temporal logic Keywords:branching-time logic; first-order logic; strong completeness PDF BibTeX XML Cite \textit{D. Doder} et al., J. UCS 16, No. 11, 1439--1451 (2010; Zbl 1216.03033) Full Text: Link