Title :
Natural Deduction Calculus for Computation Tree Logic
Author :
Bolotov, Alexander ; Grigoriev, Oleg ; Shangin, Vasilyi
Author_Institution :
Harrow Sch. of Comput. Sci., Westminster Univ., Harrow
Abstract :
The authors present a natural deduction calculus for the computation tree logic, CTL, defined with the full set of classical and temporal logic operators. The system extends the natural deduction construction of the linear-time temporal logic. This opens the prospect to apply our technique as an automatic reasoning tool in a deliberative decision making framework across various applications in AI and computer science, where the branching-time setting is required
Keywords :
decision making; inference mechanisms; process algebra; temporal logic; artificial intelligence; automatic reasoning tool; branching-time setting; classical logic operators; computation tree logic; computer science; decision making; natural deduction calculus; temporal logic operators; Application software; Artificial intelligence; Automatic logic units; Calculus; Computer science; Decision making; Engines; Formal specifications; Management information systems; Neodymium;
Conference_Titel :
Modern Computing, 2006. JVA '06. IEEE John Vincent Atanasoff 2006 International Symposium on
Conference_Location :
Sofia
Print_ISBN :
0-7695-2643-8
DOI :
10.1109/JVA.2006.34
