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