Natural deduction calculus for computation tree logic

Bolotov, Alexander, Grigoriev, Oleg and Shangin, Vasilyi (2006) Natural deduction calculus for computation tree logic. In: IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06). IEEE, Los Alamitos, USA, pp. 175-183. ISBN 0769526438


Download (297kB)
Official URL:


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.

Item Type: Book Section
Uncontrolled 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
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 28 Feb 2007
Last Modified: 11 Aug 2010 14:31

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)