@article{1093958149,
author = {Meredith, C. A. and Prior, A. N.},
title = {Modal logic with functorial variables and a contingent constant.},
journal = {Notre Dame J. Formal Logic},
volume = {6},
number = {1},
year = {1965},
pages = { 99-109},
language = {en},
url = {http://dml.mathdoc.fr/item/1093958149}
}
Meredith, C. A.; Prior, A. N. Modal logic with functorial variables and a contingent constant.. Notre Dame J. Formal Logic, Tome 6 (1965) no. 1, pp. 99-109. http://gdmltest.u-ga.fr/item/1093958149/