WestminsterResearch

A Simpler formulation of natural deduction calculus for linear-time temporal logic

Bolotov, Alexander and Grigoriev, Oleg and Shangin, Vasilyi (2007) A Simpler formulation of natural deduction calculus for linear-time temporal logic. In: Bhanu, Prasad, (ed.) Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007. IICAI 2007. IICAI, India, pp. 1253-1266. ISBN 9780972741224

Full text not available from this repository.

Abstract

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.

Item Type:Book Section
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:5676
Deposited On:22 Jan 2009 14:18
Last Modified:14 Oct 2009 10:15

Repository Staff Only: item control page