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.
Abstract
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
