WestminsterResearch

Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL)

Bolotov, Alexander and Grigoriev, Oleg (2009) Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL). In: Hustadt, Ullrich, (ed.) Proceedings of the utomated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdon. Technical Report (ULCS-09-007). Department of Computer Science, University of Liverpool, pp. 7-8.

Full text not available from this repository.

Official URL: http://www.csc.liv.ac.uk/research/techreports/tr20...

Abstract

We present a natural deduction calculus for the quantified propositional linear-time temporal logic (QPTL) and prove its correctness. The system extends previous natural deduction constructions for the propositional linear-time temporal logic. These developments open the prospect to adapt search procedures developed for the earlier natural deduction systems and to apply the new system as an automatic reasoning tool in a variety of applications capturing more sophisticated specifications due to the expressiveness of QPTL.

Item Type:Book Section
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:7334
Deposited On:25 Jan 2010 14:51
Last Modified:25 Jan 2010 14:54

Repository Staff Only: item control page