Rajeev Prabhakar Gore
Original record- Institution
- University of Cambridge
- Year
- 1992
- Country
- United Kingdom
- MGP identifier
- 179717
Dissertation: Cut-Free Sequent And Tableau Systems For Propositional Normal Modal Logics
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- William F. ClocksinInstitution not recorded
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Pietro Abate | Australian National University | 2007 | 0 |
| Linda Postniece | Australian National University | 2010 | 0 |
| Revantha Ramanayake | Australian National University | 2011 | 1 |
| Ian Bruce Paul Shillito | Australian National University | 2023 | 0 |
| Andrew Slater | Australian National University | 2004 | 0 |
| Jimmy Thomson | Not recorded | 2013 | 0 |
| Florian Rainer Widmann | Australian National University | 2010 | 0 |