 | 2009 |
|---|
| 5 |       | Alexander Bolotov,
Alessandro Basso,
Oleg Grigoriev:
Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus.
IICAI 2009: 166-185 |
| 2007 |
|---|
| 4 | | Alexander Bolotov,
Oleg Grigoriev,
Vasilyi Shangin:
A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic.
IICAI 2007: 1253-1266 |
| 3 |  | Alexander Bolotov,
Oleg Grigoriev,
Vasilyi Shangin:
Automated Natural Deduction for Propositional Linear-Time Temporal Logic.
TIME 2007: 47-58 |
| 2006 |
|---|
| 2 | | Alexander Bolotov,
Artie Basukoski,
Oleg Grigoriev,
Vasilyi Shangin:
Natural Deduction Calculus for Linear-Time Temporal Logic.
JELIA 2006: 56-68 |
| 1 | | Alexander Bolotov,
Oleg Grigoriev,
Vasilyi Shangin:
Natural Deduction Calculus for Computation Tree Logic.
John Vincent Atanasoff Symposium 2006: 175-183 |
Data released under the ODC-BY 1.0 license — See also our legal information page