1D.M.Gabbay,E Guenthner(eds).Handbook of Philosophical Logic[M].2nd ed.Vol.3 kluwer Academic Publishers,2001:1.
2C.L.Lewis.Implication and the algcbra of logic[J].Mind,1912,(21).
3E.M.Curley.Development of Lewis' theory of strict implication[J].Notre Dame Journal of Formal Logic,1975,(16):517-527.
4K.Godel.An interpretation of intuitionistic propositional calculus[M] //S.Feferman ed al.(eds),Kurt Godel,Collected Works Vol.Ⅰ.Oxford:Oxford University Press,1986,300-303.
5G.Boolos.The logic of Provability[M].Cambridge:Cambridge University Press,1993.
6A.Tarski.The concept of truth in formalized languages[M] //Logic,semantics,Metamathematics.2nd ed.Hackett Indianapolis,1983:152-278.
7A.Tarski.On the concept of Logical Consequence[M] //Logic,semantics,Metamathematics.2nded.Hackctt Indianapolis.1983:409-420.
8J.Hinktkka.Carnap's heritage in logic semantics[M] //Rudolf Carnap.Logical Empircist:Materials and Perspectives.J.Hontikka,ed.Reidei,Dordrecht,1975:21242.
9N.A.Prior.Time and Modality[M].Claredon Press,Oxford,1967.
10R.Carnap.Modalities and Quantification[J].The Journal of Symbolic Logic,1946,(11):33-64.
