Up a level |

Group by: Item Type | No Grouping

Number of items: **11**.

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

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)
*Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL).*
In:
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 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:
Proceedings of the 13th International Congress of Logic Methodology and Philosophy of Science.
Kings College Publications.

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)
*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
(2007)
*A Simpler formulation of natural deduction calculus for linear-time temporal logic.*
In:
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
(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 Basukoski, Artie and Grigoriev, Oleg and Shangin, Vasilyi
(2006)
*Natural deduction calculus for linear-time temporal logic.*
In:
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