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]](http://westminsterresearch.wmin.ac.uk/style/images/fileicons/application_pdf.png)
| 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
