WestminsterResearch

Natural deduction calculus for computation tree logic

Bolotov, Alexander and 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

[img]
Preview
PDF
290Kb

Official URL: http://dx.doi.org/10.1109/JVA.2006.34

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.

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
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:3585
Deposited On:28 Feb 2007
Last Modified:11 Aug 2010 15:31

Repository Staff Only: item control page