Number of items: **11**.

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

Bolotov, Alexander and Grigoriev, Oleg and Shangin, Vasilyi (2006) *Natural deduction calculus for computation tree logic.* In: IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06). IEEE, Los Alamitos, USA, pp. 175-183. ISBN 0769526438

Bolotov, Alexander and Grigoriev, Oleg and Shangin, Vasilyi (2007) *Automating natural deduction for linear-time temporal logic.* In: 14th International Symposium on Temporal Representation and Reasoning (TIME'07)), 28-30 June 2007, Alicante, Spain. IEEE, Los Alamitos, USA, pp. 47-58. ISBN 9780769528366

Bolotov, Alexander and Grigoriev, Oleg and Shangin, Vasilyi (2007) *A Simpler formulation of natural deduction calculus for linear-time temporal logic.* In: Bhanu, Prasad, (ed.) Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007. IICAI 2007. IICAI, India, pp. 1253-1266. ISBN 9780972741224

Bolotov, Alexander and Grigoriev, Oleg and Shangin, Vasilyi (2007) *Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTL.* In: Proceedings of the "Smirnov's Readings", VI International Conference (in Russian). Moscow State University, Moscow, Russia.

Bolotov, Alexander and Grigoriev, Oleg and Shangin, Vasilyi (2008) *Automating natural deduction for temporal logic.* In: Proceedings of the 14th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, ARW 2007. Imperial College, London.

Bolotov, Alexander and Grigoriev, Oleg and Shangin, Vasilyi (2008) *Automating natural deduction for temporal logic.* In: Glymour, Clark and Wang, Wei and Westerstahl, Dag, (eds.) Proceedings of the 13th International Congress of Logic Methodology and Philosophy of Science. Kings College Publications.

Bolotov, Alexander and Grigoriev, Oleg (2009) *Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL).* In: Hustadt, Ullrich, (ed.) Proceedings of the utomated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdon. Technical Report (ULCS-09-007). Department of Computer Science, University of Liverpool, pp. 7-8.

Bolotov, Alexander and Basso, Alessandro and Grigoriev, Oleg (2009) *Deontic extension of deductive verification of component model: combining computation tree logic and deontic logic in natural deduction style calculus.* In: Proceedings of the 4th Indian International Conference on Artificial Intelligence (IICAI-09), December 16-18, 2009, SIT, Tumkur, India. IICAI, pp. 166-185. ISBN 9780972741279

Bolotov, Alexander and Grigoriev, Oleg (2009) *Natural deduction calculus for quantified propositional linear-time temporal logic.* Technical Report. University of Westminster.

Bolotov, Alexander and Grigoriev, Oleg (2009) *Combining computation tree logic and deontic logic in natural deduction style calculus.* Technical Report. University of Westminster.

This list was generated on **Sun Mar 1 16:26:29 2015 GMT**.