A completeness theorem for the general interpreted modal calculus MC v of A. Bressan
Rendiconti del Seminario Matematico della Università di Padova, Volume 64 (1981), p. 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},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {64},
     year = {1981},
     pages = {39-57},
     zbl = {0484.03006},
     mrnumber = {636625},
     language = {en},
     url = {http://www.numdam.org/item/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, Volume 64 (1981) pp. 39-57. http://www.numdam.org/item/RSMUP_1981__64__39_0/

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

[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 0322.02014

[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 0285.02019

[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 0476.03028

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

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

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

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

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

[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 491034 | Zbl 0383.03013

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