|Chapter title||A Simpler formulation of natural deduction calculus for linear-time temporal logic|
|Authors||Bolotov, A., Grigoriev, O. and Shangin, V.|
The paper continues our studies of natural deduction calculus for the propositional linear-time temporal logic PLTL. We present a new formulation of natural deduction calculus for PLTL. The system is shown to be sound and complete. This new formulation is simpler than the previous one, and this fact is believed to be crucial for possible appli cations of our technique as an automatic reasoning tool in a deliberative decision making framework across various AI applications.
|Book title||Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007. IICAI 2007|
|Place of publication||India|