Liste des citations dans Numdam pour : The elimination of descriptions from A. Bressan’s modal language ML ν on which the logical calculus MC ν is based

Rendiconti del Seminario Matematico della Università di Padova, Tome 56 (1976), p. 269-292 / Harvested from Numdam

Zanardo, Alberto

A completeness theorem for the general interpreted modal calculus MC v of A. Bressan
Rendiconti del Seminario Matematico della Università di Padova, Tome 65 (1981), p. 39-57 / Harvested from Numdam