Modal Logic and Its Applications

[1]  Saul Kripke,et al.  A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[2]  Alfred Tarski,et al.  Some theorems about the sentential calculi of Lewis and Heyting , 1948, The Journal of Symbolic Logic.

[3]  B. Rosser,et al.  On the Many-Valued Logics , 1941 .

[4]  C. Lewis,et al.  A Survey Of Symbolic Logic , 1920 .