1E. J. Lemmon, D. S. Scott. The Lem mon Notes :An Introduction to Modal Logic. Oxford: Blackwell, 1977, p. 54.
2D. Westerstathl. "Some results on quantifiers" ,Notre Dame Journal of Formal Logic 1984(25),pp. 152-170.
3A. N. Prior. Past, Present and Future. London : Oxford University Press, 1967, p. 45.
4R. I. Goldblatt, S. K. Thomason. "Axiomatic Classes in Propositional Modal Logic", In J. Crossley (editor). Algebra and Logic. 1974, pp. 163-173,Springer.
5A. Chagrov, M. Zakharyaschev. Modal Logic. London : Oxford University Press, 1997.
6P. Blackburn, M. deRijke, Y. Vennema. Modal Logic. London : Cambridge University Press, 2001.
7拉卡托斯.《证明与反驳》,上海译文出版社,1987年版,第171至172页.
8A. Chagrov, M. Zakharyaschev. Modal Logic.
9K. Segerberg. An Essay in Classical Modal Logic. Filosofiska Studier 13. Uppsala: University of Uppsala, 1971.
10D. C. Makinson. "Some Embedding Theorems for Modal Logic",Notre Dame Journal of Formal Logic, 1970, (12) ,pp. 252-254.
二级参考文献10
1[1]Mckinsey J C C. On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus[J]. Journal of Symbolic Logic, 1944, 9:42-45.
2[2]Makinson D. Some Embedding Theorems for Modal Logic [J]. Notre Dame Journal of Formal Logic,1971, 12:252-254.
3[3]Van Benthem J A F K. Modal Logic and Classical Logic [M ]. Naples: Bibliopolis, 1983.31,65.
4[4]Bellisima F. On the Relation Between One-point Frames and Degrees of Unsatisfiability of Modal Formulas[J]. Notre Dame Journal of Formal Logic,1984, 25:117-126.
5[5]Segerberg K. Post Completeness in Modal logic[J].Journal of Symbolic Logic, 1972,37: 711-715.
6[6]Chagrov A, Zakharyaschev M. Modal Logic[M].Oxford: Oxford University Press, 1997.29-33.
7[7]Tarski A. On Extentions of Incomplete Systems of the Sentential Calculus [A]. Tarski A Logic,Semantics, Metamathmatics [C]. translated by J H Woodger. Oxford: Clarendon Press, 1956. 393-400.
8[8]Thomason S K. Semantic Analysis of Tense Logic [J]. Journal of Symbolic Logic, 1972, 37:150-158.
9[9]Segerberg K. An Essay in Classical Modal Logic [M]. Uppsala: Filosofiska Studier, 1971.
10[10]Blok W. On the Degree of Incompleteness of Modal Logic (abstract)[J]. Bulletin of Section of Logic,1978, 7:167-175.