Geodesic
General operators binding variables in the interpreted modal calculus $\mathcal{MC}^{\nu}$
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 70 (1981) no. 4, pp. 191-197.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

Si considera il calcolo modale interpretato $\mathcal{MC}^{\nu}$, che è basato su un sistema di tipi con infiniti livelli, contiene descrizioni, ed è dotato di una semantica di tipo generale - v. [2], o [3], o [4], o [5]. In modo semplice e naturale si introducono in $\mathcal{MC}^{\nu}$ operatori vincolanti variabili, di tipo generale. Per teorie basate sul calcolo logico risultante $\mathcal{MC}^{\nu}$ vale un teorema di completezza, che si dimostra in modo immediato sulla base dell'estensione del teorema parziale di completezza stabilito in [11], fatta in [12]. 
@article{RLINA_1981_8_70_4_a0,
     author = {Bressan, Aldo and Zanardo, Alberto},
     title = {General operators binding variables in the interpreted modal calculus $\mathcal{MC}^{\nu}$},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {191--197},
     publisher = {mathdoc},
     volume = {Ser. 8, 70},
     number = {4},
     year = {1981},
     zbl = {0525.03005},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1981_8_70_4_a0/}
}
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. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1981
SP  - 191
EP  - 197
VL  - 70
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLINA_1981_8_70_4_a0/
LA  - en
ID  - RLINA_1981_8_70_4_a0
ER  - 
%0 Journal Article
%A Bressan, Aldo
%A Zanardo, Alberto
%T General operators binding variables in the interpreted modal calculus $\mathcal{MC}^{\nu}$
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1981
%P 191-197
%V 70
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLINA_1981_8_70_4_a0/
%G en
%F RLINA_1981_8_70_4_a0
Bressan, Aldo; Zanardo, Alberto. General operators binding variables in the interpreted modal calculus $\mathcal{MC}^{\nu}$. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 70 (1981) no. 4, pp. 191-197. http://geodesic.mathdoc.fr/item/RLINA_1981_8_70_4_a0/

[1] C. Bonotto and A. Bressan - On a synonimy relation for extensional first order theories, to be printed on «Rend. Sem. Mat. Univ.», Padova.

[2] A. Bressan (1972) - A General Interpreted Modal Calculus, New Haven, Yale University Press.

[3] A. Bressan (1974) - On the usefulness of modal logic in axiomatization of physics, in K.F. Schaffner and R.S. Cohen (eds), «Proceedings of the 1972 Biennal Meeting of the Phisolophy of Science Association», Reidel, Dordrecht, pp. 285-303.

[4] A. Bressan (1978) - Sul calcolo modale interpretato $MC^{\nu}$, in C. Pizzi (ed) «Leggi di natura, modalità, ipotesi. La logica del ragionamento controfattuale», Feltrinelli, Milano, pp. 303-329.

[5] A. Bressan (1981) - Extension of the modal calculi $MC^{\nu}$ and $MC^{\infty}$. Comparison of them with similar calculi endowed with different semantics. Application to probability theory, in U. Moennich (ed), «Aspects of Philosophical Logic. Some Logical Forays into Central Notions of Linguistics and Philosophy», Reidel, Dordrecht, pp. 21-66. | Zbl

[6] A. Bressan - On general operators binding variables in an extensional first order theory. To be printed.

[7] J. Corcoran and J. Herring (1971) - Notes on a semantical analysis of variable binding term operators, «Logique et Analyse», 55, 644-567, | Zbl

[8] J. Corcoran, W.S. Hatcher and J. Herring (1972) - Variable binding term operators, «Zeitschr. f. math. Logik u. Grund, d. Math.», 18, 177-182. | Zbl

[9] N.C.A. Da Costa (1980) — A model-theoretical approach to variable binding term operators, in A.I. Arruda, R. Chuaqui, N.C.A. Da Costa (eds), «Mathematical Logic in Latin America», North-Holland Publishing Company, pp. 133-162.

[10] L. Henkin (1950) - Completeness in the theory of types, «Journal of Symbolic Logic», 15, 81-91.

[11] Z. Parks (1976) — Investigations into quantified modal logic — I, «Studia Logica», 35, 109-125. | Zbl

[12] A. Zanardo (1981) - A Completeness Theorem for the General Interpreted Modal Calculus $MC^{\nu}$ of A. Bressan, «Rend. Sem. Mat. Univ.», Padova, 64, 39-57. | fulltext EuDML | Zbl