Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Grefenshtein, Alexander Vitalevich

Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1
Presentations: 5

Number of views:
This page:139
Abstract pages:427
Full texts:25
References:26
Keywords: mathematical logic, computability theory

Subject:

My main research interests lie in the field of mathematical logic and computability theory.

   
Main publications:
  • \begin{thebibliography}{9}
  • \Bibitem{1} \by A.\,V.~Grefenshtein \paper On the quantified version of the Belnap–Dunn modal logic and some extensions of it \jour arXiv:2201.04707 \yr 2022 \pages 24
  • nd{thebibliography}

https://www.mathnet.ru/eng/person199700
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2024
1. A. V. Grefenshtein, S. O. Speranski, “On the quantified version of the Belnap–Dunn modal logic”, Mat. Sb., 215:3 (2024),  37–69  mathnet  mathscinet; Sb. Math., 215:3 (2024), 323–354  isi  scopus

Presentations in Math-Net.Ru
1. Кванторные логики для рассуждений о знании и вероятности в духе Хальперна–2
A. V. Grefenshtein

February 28, 2024 18:15
2. Кванторные логики для рассуждений о знании и вероятности в духе Хальперна
A. V. Grefenshtein

February 21, 2024 18:15
3. On the quantified version of the Belnap-Dunn modal logic and some extensions of it
A. V. Grefenshtein
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
June 13, 2023 12:00   
4. Relations between Chomsky Hierarchy and Lambek Grammars
A. V. Grefenshtein
Seminar by S. L. Kuznetsov and S. O. Speranski "Logical and algebraic methods in linguistics"
March 1, 2023 18:00   
5. Seminar 3. Intuitionistic Logic and Non-Classical Logics on Its Base
A. V. Grefenshtein
Seminar by S. L. Kuznetsov and S. O. Speranski "Non-classical Logics"
September 28, 2022 18:00   

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024