A completeness theorem in modal logic
暂无分享,去创建一个
[1] H. Gaifman,et al. Symbolic Logic , 1881, Nature.
[2] H. B. Curry. A Theory Of Formal Deducibility , 1950 .
[3] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[4] W. V. Quine,et al. Three Grades of Modal Involvment , 1953 .
[5] H. Piaggio. Logic for Mathematicians , 1954, Nature.
[6] Evert W. Beth,et al. Semantic Entailment And Formal Derivability , 1955 .
[7] A. N. Prior,et al. Modality and quantification in S5 , 1956, Journal of Symbolic Logic (JSL).
[8] A. R. Anderson. Review: A. N. Prior, Modality and Quantification in S5 , 1957 .