DS-1998-04: d'Agostino, Giovanna (1998) Modal Logic and Non-Well-Founded Set Theory: Translation, Bisimulation, Interpolation. Doctoral thesis, University of Amsterdam.