An Axiomatization of a First-order Branching Time Temporal Logic

: 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. Key Words: branching time logic, first order logic, strong completeness Category: F.4.1, I.2.4

• Type: Journal
• Year: 2010
• Where: JUCS
• Authors: Dragan Doder, Zoran Ognjanovic, Zoran Markovic
• Keywords: JUCS 2010, Logic, first Order Logic, first-order Temporal Logic