WestminsterResearch will not be accepting deposits until 9th March 2015. This is to allow for a system upgrade and server migration.

Natural deduction system for linear time temporal logic

Bolotov, Alexander and Basukoski, Artie and Gregoryev, O. and Shangin, Vasilyi (2008) Natural deduction system for linear time temporal logic. In: Logical Investigations. Nauka, Moscow, pp. 17-95. ISBN 5020351520

Full text not available from this repository.


We present a sound and complete Quine-style natural abstract deduction system for propositional linear-time temporal logic based on similar systems for the propositional classical logic. The presented system can serve as a basis for the construction of provers, which are of interest in the context of research in Articial Intelligence.

Item Type:Book Section
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:5671
Deposited On:22 Jan 2009 11:21
Last Modified:14 Oct 2009 10:14

Repository Staff Only: item control page