Natural deduction system for linear time temporal logic

Bolotov, Alexander, Basukoski, Artie, 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
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 22 Jan 2009 11:21
Last Modified: 14 Oct 2009 09:14

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)