WestminsterResearch

Natural deduction calculus for quantified propositional linear-time temporal logic

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.

Official URL: http://sites.westminster.ac.uk/bolotoa/PROVER/qptl-nd-tr.p...

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 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)
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:7340
Deposited On:25 Jan 2010 15:35
Last Modified:25 Jan 2010 15:35

Repository Staff Only: item control page