Automating natural deduction for linear-time temporal logic

Bolotov, Alexander and Grigoriev, Oleg and Shangin, Vasilyi (2007) Automating natural deduction for linear-time temporal logic. In: 14th International Symposium on Temporal Representation and Reasoning (TIME'07)), 28-30 June 2007, Alicante, Spain. IEEE, Los Alamitos, USA, pp. 47-58. ISBN 9780769528366

[img]
Preview
PDF
Bolotov,_Gregoriev,_Shangin_2007_final.pdf

Download (219kB)
Official URL: http://doi.ieeecomputersociety.org/10.1109/TIME.20...

Abstract

We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to apply our technique as an automated reasoning tool in a number of emerging computer science applications and in a deliberative decision making framework across various AI applications.

Item Type: Book Section
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 05 Jul 2007
Last Modified: 11 Aug 2010 14:32
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/4369

Actions (login required)

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

Downloads