ML-1994-09: Giovanna D'Agostino, Angelo Montanari, Alberto Policriti A Set-Theoretic Translation Method for Polymodal Logics 1.Full Text, 2.Abstract. < Back