Natural deduction calculus for linear-time temporal logic

Bolotov, Alexander and Basukoski, Artie and Grigoriev, Oleg and Shangin, Vasilyi (2006) Natural deduction calculus for linear-time temporal logic. In: Fisher, Michael and van der Hoek, W. and Konev, B. and Lisitsa, A., (eds.) Logics in artificial intelligence: 10th European conference, JELIA 2006: Liverpool, UK September 13-15 2006: proceedings. Lecture notes in computer science. Lecture notes in artificial intelligence (4160). Springer, Berlin, Germany, pp. 56-68. ISBN 354039625X

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1007/11853886_7

Item Type:Book Section
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:3576
Deposited On:27 Feb 2007
Last Modified:14 Oct 2009 10:18

Repository Staff Only: item control page