Bolotov, Alexander and Grigoriev, Oleg (2009) Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL). In: 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.
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|
|Subjects:||University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)|
|Depositing User:||Miss Nina Watts|
|Date Deposited:||25 Jan 2010 14:51|
|Last Modified:||25 Jan 2010 14:54|
Actions (login required)
|Edit Item (Repository staff only)|