Numdam - Citations

Liste des citations dans Numdam pour : The elimination of descriptions from A. Bressan’s modal language $M L^{ν}$ on which the logical calculus $M C^{ν}$ is based

Rendiconti del Seminario Matematico della Università di Padova, Tome 56 (1976), pp. 269-292.

Zanardo, Alberto

A completeness theorem for the general interpreted modal calculus

M C^{v}

Rendiconti del Seminario Matematico della Università di Padova, Tome 64 (1981), pp. 39-57.