DS-1998-04: Giovanna d'Agostino Modal Logic and Non-Well-Founded Set Theory: Translation, Bisimulation, Interpolation 1.Abstract, 2.Samenvatting, 3.Full Text (PDF), 4.Full Text (PS). < Back