Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Dirk Achim Pattinson

Original record
Institution
Ludwig-Maximilians-Universität München
Year
2001
Country
Germany
MGP identifier
157701

Dissertation: Expressivity Results in the Modal Logic of Coalgebras

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 5

NameInstitutionYearStudents
Faris Abou-SalehImperial College London20140
Fredrik DahlqvistImperial College London20150
Milad Ketab GhaleAustralian National University20190
Björn LellmannImperial College London20130
Mukesh TiwariAustralian National University20210
Genealogy