Scott Weinstein
Original record- Institution
- The Rockefeller University
- Year
- 1975
- Country
- United States
- MGP identifier
- 82945
Dissertation: Some Applications of Kripke Models to Formal Systems
Advisor 1
- Saul Aaron KripkeInstitution not recorded
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Naoki Abe | University of Pennsylvania | 1989 | 0 |
| Anuj Dawar | University of Pennsylvania | 1993 | 10 |
| Wenfei Fan | University of Pennsylvania | 1999 | 13 |
| Giorgi K. Japaridze | Lomonosov Moscow State University | 1987 | 0 |
| Eric Barry Rosen | University of Pennsylvania | 1995 | 0 |