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
