Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Valentin Borisovich Shehtman

Original record
Institution
Lomonosov Moscow State University
Year
1985
Country
Russia
MGP identifier
168220

Dissertation: Applying Kripke Models to the Investigation of Superintuitionistic and Modal Logics

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 4

NameInstitutionYearStudents
Stanislav Pavlovich KikotLomonosov Moscow State University20100
Aleksey Gennadievich KravtsovLomonosov Moscow State University20060
Andrey Valerievich KudinovLomonosov Moscow State University20080
Ilya Borisovich ShapirovskyInstitute for Problems of Information Transmission, Moscow20070
Genealogy