Masahiko Sato
Original record- Institution
- Kyoto University
- Year
- 1977
- Country
- Japan
- MGP identifier
- 90548
Dissertation: A study of Kripke-type models for some modal logics by Gentzen's sequential method
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Satoru TakasuUniversity of Tokyo · 1958
- Shin HitotsumatsuInstitution not recorded
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Masami Hagiya | Kyoto University | 1988 | 10 |
| Hiroyasu Kamo | Kyoto University | 2006 | 0 |
| Shinichi Morishita | University of Tokyo | 1990 | 0 |