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