Sciweavers

Share
JUCS
2010

An Axiomatization of a First-order Branching Time Temporal Logic

8 years 8 months ago
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
Dragan Doder, Zoran Ognjanovic, Zoran Markovic
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where JUCS
Authors Dragan Doder, Zoran Ognjanovic, Zoran Markovic
Comments (0)
books