Alex K. Simpson
Original record- Institution
- The University of Edinburgh
- Year
- 1994
- Country
- United Kingdom
- MGP identifier
- 89395
Dissertation: The Proof Theory and Semantics of Intuitionistic Modal Logic
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Gordon D. PlotkinThe University of Edinburgh · 1972
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| James Brotherston | The University of Edinburgh | 2006 | 1 |
| Willem Heijltjes | The University of Edinburgh | 2012 | 3 |
| Ohad Kammar | The University of Edinburgh | 2014 | 0 |
| Peter Lietz | Technische Universität Darmstadt | 2004 | 0 |
| Matteo Mio | The University of Edinburgh | 2012 | 0 |
| Niels Frits Willem Voorneveld | University of Ljubljana | 2020 | 0 |