论文信息 - CARNAP AND McKINSEY: Topics in the Pre-History of Possible-Worlds Semantics - 字舞流文

CARNAP AND McKINSEY: Topics in the Pre-History of Possible-Worlds Semantics

M. J. Cresswell | M. Cresswell

[1] Leonard Linsky,et al. Reference and modality , 1971 .

[2] J. C. C. McKinsey. On the Syntactical Construction of Systems of Modal Logic , 1945, J. Symb. Log..

[3] Nino B. Cocchiarella,et al. On the primary and secondary semantics of logical necessity , 1975, J. Philos. Log..

[4] Steven K. Thomason. A new representation of S5 , 1973, Notre Dame J. Formal Log..

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

[6] Rudolf Carnap. Modalities and Quantification , 1946, J. Symb. Log..

[7] G. Gottlob. Remarks on a Carnapian Extension of S5 , 1999 .

[8] David Makinson. How meaningful are modal operators , 1966 .

[9] Willard Van Orman Quine,et al. ONTOLOGICAL REMARKS ON THE PROPOSITIONAL CALCULUS , 1934 .

[10] Jaakko Hintikka,et al. Time And Modality , 1958 .

[11] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .

[12] John P. Burgess. Which Modal Logic Is the Right One? , 1999, Notre Dame J. Formal Log..

[13] F. R. Drake. On McKinsey's Syntatical Characterizations of Systems of Modal Logic , 1962, J. Symb. Log..

[14] A Bayart. Correction de la logique modale du permier et du second ordre S5 , 1958 .

[15] Richard Montague. Logical necessity, physical necessity, ethics, and quantifiers , 1960 .