A completeness theorem for the general interpreted modal calculus MC v of A. Bressan
Rendiconti del Seminario Matematico della Università di Padova, Tome 64 (1981), pp. 39-57. 
@article{RSMUP_1981__64__39_0,
     author = {Zanardo, Alberto},
     title = {A completeness theorem for the general interpreted modal calculus $MC^v$ of {A.} {Bressan}},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {39--57},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {64},
     year = {1981},
     mrnumber = {636625},
     zbl = {0484.03006},
     language = {en},
     url = {http://archive.numdam.org/item/RSMUP_1981__64__39_0/}
}
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://archive.numdam.org/item/RSMUP_1981__64__39_0/
LA  - en
ID  - RSMUP_1981__64__39_0
ER  - 
%0 Journal Article
%A Zanardo, Alberto
%T A completeness theorem for the general interpreted modal calculus $MC^v$ of A. Bressan
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1981
%P 39-57
%V 64
%I Seminario Matematico of the University of Padua
%U http://archive.numdam.org/item/RSMUP_1981__64__39_0/
%G en
%F RSMUP_1981__64__39_0
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 64 (1981), pp. 39-57. http://archive.numdam.org/item/RSMUP_1981__64__39_0/

[1] A. Bressan, A General Interpreted Modal Calculus, New Haven, Yale University Press, 1972. | MR | Zbl

[2] A. Bressan, On the usefulness of modal logic in axiomatizations of physics, Conference at PSA meeting in Lansing (September 1972), PSA 1972, pp. 285-303. | Zbl

[3] A. Bressan, On the semantics for the language MLv based on a type system, and those for the type-free language ML∞, Journal of Philosophical Logic, 3 (1974), pp. 171-194. | Zbl

[4] A. Bressan, Extension of the modal calculi MCv and MC∞. Comparison of them with similar calculi endowed with different semantics. Application to probability theory, to be printed in the Proceedings of the workshop on modal logic held in Tübingen, Dec. 1977. | Zbl

[5] A. Church, A formulation of the simple theory of types, Journal of Symbolic Logic, 5 (1940), pp. 56-68. | JFM | MR

[6] L. Henkin, The completeness of the first-order functional calculus, Journal of Symbolic Logic, 14 (1949), pp. 159-166. | MR | Zbl

[7] L. Henkin, Completeness in the theory of types, Journal of Symbolic Logic, 15 (1950), pp. 81-91. | MR | Zbl

[8] L. Henkin, A generalization of the concept of ω-completeness, Journal of Symbolic Logic, 22 (1957), pp. 1-14. | Zbl

[9] G.E. Hughes -M.J. Cresswell, An Introduction to Modal Logic, London, Methuen and Co., Ltd., 1968. | MR | Zbl

[10] E.G. Omodeo, The elimination of descriptions from A. Bressan's modal language ML'' on which the logical calculus MCv is based, Rend. Sem. Mat. Univ. Padova, 56 (1977), pp. 269-292. | Numdam | MR | Zbl

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