TY - JOUR AU - Zanardo, Alberto TI - A completeness theorem for the general interpreted modal calculus $MC^v$ of A. Bressan JO - Rendiconti del Seminario Matematico della Università di Padova PY - 1981 SP - 39 EP - 57 VL - 64 PB - Seminario Matematico of the University of Padua UR - http://www.numdam.org/item/RSMUP_1981__64__39_0/ LA - en ID - RSMUP_1981__64__39_0 ER -