A completeness theorem for the general interpreted modal calculus $MC^v$ of A. Bressan

Zanardo, Alberto

Geodesic

Parcourir par

A completeness theorem for the general interpreted modal calculus

M C^{v}

of A. Bressan

Zanardo, Alberto

Rendiconti del Seminario Matematico della Università di Padova, Tome 64 (1981), pp. 39-57

Voir la notice de l'article provenant de la source Numdam

MR Zbl

@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://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/item/RSMUP_1981__64__39_0/