Bolotov, Alexander and Grigoriev, Oleg (2009) Natural deduction calculus for quantified propositional linear-time temporal logic. Technical Report. University of Westminster.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 extend the applicability of the natural deduction to more sophisticated specifications due to the expressive power of QPTL and, on the hand, supply QPTL itself with an elegant reasoning tool.
|Item Type:||Monograph (Technical Report)|
|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 15:35|
|Last Modified:||25 Jan 2010 15:35|
Actions (login required)
|Edit Item (Repository staff only)|