Oleg Grigoriev

According to our database, Oleg Grigoriev authored at least 11 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Axiomatizing a Minimal Discussive Logic.

Oleg Grigoriev, Marek Nasieniewski, Krystyna Mruczek-Nasieniewska, Yaroslav I. Petrukhin, Vasily Shangin

Stud Logica, October, 2023

Basic modal congruent and monotonic multilattice logics.

Oleg Grigoriev, Yaroslav I. Petrukhin

J. Log. Comput., August, 2023

2022

Cyclic Negations and Four-valuedness.

Oleg Grigoriev, Dmitry Zaitsev

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

2019

Two proofs of the algebraic completeness theorem for multilattice logic.

Oleg Grigoriev, Yaroslav I. Petrukhin

J. Appl. Non Class. Logics, 2019

Logic of Bipartite Truth with Uncertainty Dimension.

Oleg M. Grigoriev

FLAP, 2019

2016

Generalized Truth Values: From Logic to the Applications in Cognitive Sciences.

Oleg Grigoriev

Proceedings of the Advances in Neural Networks - ISNN 2016, 2016

2009

Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus.

Alexander Bolotov, Alessandro Basso, Oleg M. Grigoriev

Proceedings of the 4th Indian International Conference on Artificial Intelligence, 2009

2007

Automated Natural Deduction for Propositional Linear-Time Temporal Logic.

Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic.

Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin

Proceedings of the 3rd Indian International Conference on Artificial Intelligence, 2007

2006

Natural Deduction Calculus for Computation Tree Logic.

Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin

Proceedings of the 2006 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA2006), 2006

Natural Deduction Calculus for Linear-Time Temporal Logic.

Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev, Vasilyi Shangin

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006