Bressan, Aldo, and Zanardo, Alberto. "General operators binding variables in the interpreted modal calculus $\mathcal{MC}^{\nu}$." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni 70.4 (1981): 191-197. <http://eudml.org/doc/286987>.
@article{Bressan1981,
author = {Bressan, Aldo, Zanardo, Alberto},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni},
keywords = {modal logic; variable binding term operators},
language = {eng},
month = {4},
number = {4},
pages = {191-197},
publisher = {Accademia Nazionale dei Lincei},
title = {General operators binding variables in the interpreted modal calculus $\mathcal\{MC\}^\{\nu\}$},
url = {http://eudml.org/doc/286987},
volume = {70},
year = {1981},
}
TY - JOUR
AU - Bressan, Aldo
AU - Zanardo, Alberto
TI - General operators binding variables in the interpreted modal calculus $\mathcal{MC}^{\nu}$
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
DA - 1981/4//
PB - Accademia Nazionale dei Lincei
VL - 70
IS - 4
SP - 191
EP - 197
LA - eng
KW - modal logic; variable binding term operators
UR - http://eudml.org/doc/286987
ER -