×

zbMATH — the first resource for mathematics

An axiomatization of a first-order branching time temporal logic. (English) Zbl 1216.03033
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.

MSC:
03B44 Temporal logic
PDF BibTeX XML Cite
Full Text: Link