Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Dmitry Shkatov

Original record
Institution
University of Nottingham
Year
2006
Country
United Kingdom
MGP identifier
124137

Dissertation: Modal Logics with Existential Modality, Finite-iteration Modality, and Intuitionistic Base: Decidability and Completeness

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy