Oleg M. Grigoriev

Publication Activity (10 Years)

Years Active: 2006-2019
Publications (10 Years): 1

Top Topics

Dimensional Data

Probability Theory

Epistemic Logic

Bipartite Graph

Top Venues

Publications

Oleg M. Grigoriev
Logic of Bipartite Truth with Uncertainty Dimension. FLAP 6 (2) (2019)
Alexander Bolotov, Alessandro Basso, Oleg M. Grigoriev
Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus. IICAI (2009)
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
Automated Natural Deduction for Propositional Linear-Time Temporal Logic. TIME (2007)
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic. IICAI (2007)
Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev, Vasilyi Shangin
Natural Deduction Calculus for Linear-Time Temporal Logic. JELIA (2006)
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
Natural Deduction Calculus for Computation Tree Logic. John Vincent Atanasoff Symposium (2006)