Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Oleg Grigoriev 0001

Oleg Grigoryev 0001 – Oleg M. Grigoriev 0001

> Home > Persons

Person information

affiliation: Lomonosov Moscow State University, Faculty of Philosophy, Department of Logic, Moscow, Russia

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/GrigorievP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/GrigorievP23
Oleg Grigoriev, Yaroslav I. Petrukhin:
Basic modal congruent and monotonic multilattice logics. J. Log. Comput. 33(6): 1379-1398 (2023)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sLogica/GrigorievNMPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/GrigorievNMPS23
Oleg Grigoriev, Marek Nasieniewski, Krystyna Mruczek-Nasieniewska, Yaroslav I. Petrukhin, Vasily Shangin:
Axiomatizing a Minimal Discussive Logic. Stud Logica 111(5): 855-895 (2023)
2019
[j2]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/flap/Grigoriev19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/Grigoriev19
Oleg M. Grigoriev:
Logic of Bipartite Truth with Uncertainty Dimension. FLAP 6(2): 291-318 (2019)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/GrigorievP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/GrigorievP19
Oleg Grigoriev, Yaroslav I. Petrukhin:
Two proofs of the algebraic completeness theorem for multilattice logic. J. Appl. Non Class. Logics 29(4): 358-381 (2019)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-06733
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-06733
Oleg Grigoriev, Dmitry Zaitsev:
Cyclic Negations and Four-valuedness. NCL 2022: 216-226
2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/isnn/Grigoriev16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isnn/Grigoriev16
Oleg Grigoriev:
Generalized Truth Values: From Logic to the Applications in Cognitive Sciences. ISNN 2016: 712-719
2009
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iicai/BolotovBG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iicai/BolotovBG09
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: 166-185
2007
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iicai/BolotovGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iicai/BolotovGS07
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin:
A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic. IICAI 2007: 1253-1266
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/time/BolotovGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BolotovGS07
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin:
Automated Natural Deduction for Propositional Linear-Time Temporal Logic. TIME 2007: 47-58
2006
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/BolotovBGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/BolotovBGS06
Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev, Vasilyi Shangin:
Natural Deduction Calculus for Linear-Time Temporal Logic. JELIA 2006: 56-68
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/jva/BolotovGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jva/BolotovGS06
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin:
Natural Deduction Calculus for Computation Tree Logic. John Vincent Atanasoff Symposium 2006: 175-183

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.