메뉴 건너뛰기




Volumn 31, Issue 2, 2002, Pages 99-137

The genesis of possible worlds semantics

Author keywords

History of logic; Modal logic; Possible worlds semantics

Indexed keywords


EID: 33646166695     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1015273407895     Document Type: Article
Times cited : (80)

References (82)
  • 1
    • 33645251972 scopus 로고
    • Correction de la logique modale du premier et du second ordre S5
    • Bayart, A. (1958): Correction de la logique modale du premier et du second ordre S5 [Soundness of first and second order S5 modal logic], Logique et Analyse 1, 28-44.
    • (1958) Logique et Analyse , vol.1 , pp. 28-44
    • Bayart, A.1
  • 2
    • 33645246553 scopus 로고
    • Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5
    • Bayart, A. (1959): Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5 [Quasi-completeness of second-order S5 modal logic and completeness of first-order S5 modal logic], Logique et Analyse 2, 99-121.
    • (1959) Logique et Analyse , vol.2 , pp. 99-121
    • Bayart, A.1
  • 4
    • 52649158438 scopus 로고
    • A cancellation algorithm for elementary logic
    • Binkley, R. and Clark, R. (1967): A cancellation algorithm for elementary logic, Theoria 33, 79-97.
    • (1967) Theoria , vol.33 , pp. 79-97
    • Binkley, R.1    Clark, R.2
  • 5
    • 52649137289 scopus 로고
    • A cancellation algorithm corrected
    • Binkley, R. and Clark, R. (1968): A cancellation algorithm corrected, Theoria 34, 85.
    • (1968) Theoria , vol.34 , pp. 85
    • Binkley, R.1    Clark, R.2
  • 7
    • 0041720442 scopus 로고
    • Modalities and quantification
    • Carnap, R. (1946): Modalities and quantification, J. Symbolic Logic 11, 33-64.
    • (1946) J. Symbolic Logic , vol.11 , pp. 33-64
    • Carnap, R.1
  • 9
    • 33645249667 scopus 로고
    • On the primary and secondary semantics of logical necessity
    • Cocchiarella, N. B. (1975): On the primary and secondary semantics of logical necessity, J. Philos. Logic 4, 13-27.
    • (1975) J. Philos. Logic , vol.4 , pp. 13-27
    • Cocchiarella, N.B.1
  • 11
    • 33646935632 scopus 로고
    • On McKinsey's syntactical characterizations of systems of modal logic
    • Drake, F. R. (1962): On McKinsey's syntactical characterizations of systems of modal logic, J. Symbolic Logic 27, 400-406.
    • (1962) J. Symbolic Logic , vol.27 , pp. 400-406
    • Drake, F.R.1
  • 12
    • 52649096681 scopus 로고
    • dissertation submitted towards the Degree of Doctor of Philosophy in the University of Cambridge
    • Drake, F. R. (1963): Syntactical models for modal logics, dissertation submitted towards the Degree of Doctor of Philosophy in the University of Cambridge.
    • (1963) Syntactical Models for Modal Logics
    • Drake, F.R.1
  • 14
    • 52649131595 scopus 로고
    • La transcription logistique du raisonnement: Son intérét et ses limites
    • Feys, R. (1924): La transcription logistique du raisonnement: son intérét et ses limites [The logistic transcription of reasoning: Its importance and its limits], Revue Neo-Scholastique de Philosophie (2nd series) 4, 299-324.
    • (1924) Revue Neo-Scholastique de Philosophie (2nd Series) , vol.4 , pp. 299-324
    • Feys, R.1
  • 15
    • 0039605765 scopus 로고
    • Nauwelaerts, Louvain
    • Feys, R. (1965): Modal Logics, Nauwelaerts, Louvain.
    • (1965) Modal Logics
    • Feys, R.1
  • 16
    • 33645259075 scopus 로고
    • Stig Kanger in memoriam
    • D. Prawitz, B. Skyrms and D. Westerståhl (eds.), Elsevier, Amsterdam
    • Føllesdal, D. (1994): Stig Kanger in memoriam, in D. Prawitz, B. Skyrms and D. Westerståhl (eds.), Logic, Methodology and Philosophy of Science IX, Elsevier, Amsterdam.
    • (1994) Logic, Methodology and Philosophy of Science IX
    • Føllesdal, D.1
  • 17
    • 33646934870 scopus 로고
    • Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques: Système de Feys-von Wright
    • Guillaume, M. (1958a): Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques: système de Feys-von Wright [Relations between propositional modal calculi and topology implied by certain extensions of the semantic tableaux method: The Feys-von Wright system], C.R. Acad. Sci. Paris 246, 1140-1142.
    • (1958) C.R. Acad. Sci. Paris , vol.246 , pp. 1140-1142
    • Guillaume, M.1
  • 18
    • 52649175644 scopus 로고
    • Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques: Système S4 de Lewis
    • Guillaume, M. (1958b): Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques: système S4 de Lewis [Relations between propositional modal calculi and topology implied by certain extensions of the semantic tableaux method: Lewis's system S4], C.R. Acad. Sci. Paris 246, 2207-2210.
    • (1958) C.R. Acad. Sci. Paris , vol.246 , pp. 2207-2210
    • Guillaume, M.1
  • 22
    • 0343946059 scopus 로고
    • Form and content in quantification theory
    • fasc. VIII
    • Hintikka, K. J. J. (1955a): Form and content in quantification theory, Acta Philosophica Fennica, fasc. VIII, 7-55.
    • (1955) Acta Philosophica Fennica , pp. 7-55
    • Hintikka, K.J.J.1
  • 23
    • 85033643762 scopus 로고
    • Societas Scientiarum Fennica, Commentationes Physico-Mathematicae, Helsinki
    • Hintikka, K. J. J. (1955b): Notes on Quantification Theory, Societas Scientiarum Fennica, Commentationes Physico-Mathematicae, Vol. 12, Helsinki.
    • (1955) Notes on Quantification Theory , vol.12
    • Hintikka, K.J.J.1
  • 24
    • 33645256685 scopus 로고
    • Societas Scientiarum Fennica, Commentationes Humanarum Litterarum, Vol. 13.4, Helsinki
    • Hintikka, K. J. J. (1957a): Quantifiers in Deontic Logic, Societas Scientiarum Fennica, Commentationes Humanarum Litterarum, Vol. 13.4, Helsinki.
    • (1957) Quantifiers in Deontic Logic
    • Hintikka, K.J.J.1
  • 25
    • 33646928257 scopus 로고
    • Modality as referential multiplicity
    • Hintikka, K. J. J. (1957b): Modality as referential multiplicity, Ajatus 20, 49-64.
    • (1957) Ajatus , vol.20 , pp. 49-64
    • Hintikka, K.J.J.1
  • 26
    • 84995186352 scopus 로고
    • Modality and quantification
    • Hintikka, K. J. J. (1961): Modality and quantification, Theoria 27, 119-128.
    • (1961) Theoria , vol.27 , pp. 119-128
    • Hintikka, K.J.J.1
  • 27
    • 33645252105 scopus 로고
    • Review of Kanger 1957b
    • Hintikka, K. J. J. (1969): Review of Kanger 1957b, J. Symbolic Logic 34, 305-306.
    • (1969) J. Symbolic Logic , vol.34 , pp. 305-306
    • Hintikka, K.J.J.1
  • 30
    • 0001521953 scopus 로고
    • Boolean algebras with operators, Part I
    • Jónsson, B. and Tarski, A. (1951): Boolean algebras with operators, Part I, Amer. J. Math. 73, 891-939.
    • (1951) Amer. J. Math. , vol.73 , pp. 891-939
    • Jónsson, B.1    Tarski, A.2
  • 31
    • 0001318162 scopus 로고
    • Boolean algebras with operators, Part II
    • Jónsson, B. and Tarski, A. (1952): Boolean algebras with operators, Part II, Amer. J. Math. 74, 127-162.
    • (1952) Amer. J. Math. , vol.74 , pp. 127-162
    • Jónsson, B.1    Tarski, A.2
  • 32
    • 84995184256 scopus 로고
    • A note on partial postulate sets for propositional logic
    • Kanger, S. (1955): A note on partial postulate sets for propositional logic, Theoria 21, 99-104.
    • (1955) Theoria , vol.21 , pp. 99-104
    • Kanger, S.1
  • 33
  • 34
    • 84995180998 scopus 로고
    • The morning star paradox
    • Kanger, S. (1957b): The morning star paradox, Theoria 23, 1-11.
    • (1957) Theoria , vol.23 , pp. 1-11
    • Kanger, S.1
  • 36
    • 0007783319 scopus 로고
    • Reprinted with minor alterations in R. Hilpinen (ed.), Reidel, Dordrecht
    • Reprinted with minor alterations in R. Hilpinen (ed.), Deontic Logic: Introductory and Systematic Readings, Reidel, Dordrecht, 1970.
    • (1970) Deontic Logic: Introductory and Systematic Readings
  • 37
    • 40849110352 scopus 로고
    • A note on quantification and modalities
    • Kanger, S. (1957d): A note on quantification and modalities, Theoria 23, 133-134.
    • (1957) Theoria , vol.23 , pp. 133-134
    • Kanger, S.1
  • 38
    • 4243333465 scopus 로고
    • Review of Kripke 1963a
    • Kaplan, D. (1966): Review of Kripke 1963a, J. Symbolic Logic 31, 120-122.
    • (1966) J. Symbolic Logic , vol.31 , pp. 120-122
    • Kaplan, D.1
  • 39
    • 0002977725 scopus 로고
    • A completeness theorem in modal logic
    • Kripke, S. A. (1959a): A completeness theorem in modal logic, J. Symbolic Logic 24, 1-14.
    • (1959) J. Symbolic Logic , vol.24 , pp. 1-14
    • Kripke, S.A.1
  • 40
    • 0345373244 scopus 로고
    • Semantical analysis of modal logic
    • Kripke, S. A. (1959b): Semantical analysis of modal logic (abstract), J. Symbolic Logic 24, 323-324.
    • (1959) J. Symbolic Logic , vol.24 , pp. 323-324
    • Kripke, S.A.1
  • 41
    • 37949002557 scopus 로고
    • Semantical analysis of modal logic I: Normal modal propositional calculi
    • Kripke, S. A. (1963a): Semantical analysis of modal logic I: Normal modal propositional calculi, Z. Math. Logik Grundlag. Math. 9, 67-96.
    • (1963) Z. Math. Logik Grundlag. Math. , vol.9 , pp. 67-96
    • Kripke, S.A.1
  • 42
    • 0001972488 scopus 로고
    • Semantical considerations on modal logic
    • Kripke, S. A. (1963b): Semantical considerations on modal logic, Acta Philosophica Fennica 16, 83-94.
    • (1963) Acta Philosophica Fennica , vol.16 , pp. 83-94
    • Kripke, S.A.1
  • 43
    • 0038702363 scopus 로고
    • Semantical analysis of modal logic II: Non-normal modal propositional calculi
    • J. W. Addison, L. Henkin and A. Tarski (eds.), North-Holland, Amsterdam
    • Kripke, S. A. (1965): Semantical analysis of modal logic II: Non-normal modal propositional calculi, in J. W. Addison, L. Henkin and A. Tarski (eds.), The Theory of Models, North-Holland, Amsterdam.
    • (1965) The Theory of Models
    • Kripke, S.A.1
  • 44
    • 33746664066 scopus 로고
    • Two-valued truth tables for modal functions
    • P. Henle, H. M. Kallen and S. K. Langer (eds.), Liberal Arts Press, New York
    • Leonard, H. S. (1951): Two-valued truth tables for modal functions, in P. Henle, H. M. Kallen and S. K. Langer (eds.), Structure and Meaning Essays in Honor of Henry M. Sheffer, Liberal Arts Press, New York.
    • (1951) Structure and Meaning Essays in Honor of Henry M. Sheffer
    • Leonard, H.S.1
  • 45
    • 60949190760 scopus 로고    scopus 로고
    • An exposition and development of Kanger's early semantics for modal logic
    • P. W. Humphreys and J. H. Fetzer (eds.), Kluwer, Amsterdam
    • Lindström, S. (1998): An exposition and development of Kanger's early semantics for modal logic, in P. W. Humphreys and J. H. Fetzer (eds.), The New Theory of Reference, Kluwer, Amsterdam.
    • (1998) The New Theory of Reference
    • Lindström, S.1
  • 46
    • 0001529063 scopus 로고
    • On three-valued logic
    • Łukasiewicz, J. (1920): On three-valued logic, Ruch Filozoficzny 5, 170-171.
    • (1920) Ruch Filozoficzny , vol.5 , pp. 170-171
    • Łukasiewicz, J.1
  • 47
    • 0003913087 scopus 로고
    • English translation in L. Borkowski (ed.), North-Holland, Amsterdam
    • English translation in L. Borkowski (ed.), Jan Łukasiewicz: Selected Works, North-Holland, Amsterdam, 1970.
    • (1970) Jan ŁUkasiewicz: Selected Works
  • 48
    • 0042113887 scopus 로고
    • Philosophical remarks on many-valued systems
    • L. Borkowski (ed.), North-Holland, Amsterdam
    • Łukasiewicz, J. (1930): Philosophical remarks on many-valued systems, in L. Borkowski (ed.), Jan Łukasiewicz: Selected Works, North-Holland, Amsterdam, 1970.
    • (1930) Jan ŁUkasiewicz: Selected Works
    • Łukasiewicz, J.1
  • 49
    • 52649134139 scopus 로고
    • On variable functors of propositional arguments
    • Łukasiewicz, J. (1951): On variable functors of propositional arguments, Proc. Royal Irish Academy Sect. A 54, 29-35.
    • (1951) Proc. Royal Irish Academy Sect. A , vol.54 , pp. 29-35
    • Łukasiewicz, J.1
  • 50
    • 14044253460 scopus 로고
    • A system of modal logic
    • Łukasiewicz, J. (1953): A system of modal logic, J. Comput. Systems 1, 111-149.
    • (1953) J. Comput. Systems , vol.1 , pp. 111-149
    • Łukasiewicz, J.1
  • 51
    • 0000432049 scopus 로고
    • A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
    • McKinsey, J. C. C. (1941): A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology, J. Symbolic Logic 6, 117-134.
    • (1941) J. Symbolic Logic , vol.6 , pp. 117-134
    • McKinsey, J.C.C.1
  • 52
    • 2342595341 scopus 로고
    • On the syntactical construction of systems of modal logic
    • McKinsey, J. C. C. (1945): On the syntactical construction of systems of modal logic, J. Symbolic Logic 10, 83-94.
    • (1945) J. Symbolic Logic , vol.10 , pp. 83-94
    • McKinsey, J.C.C.1
  • 53
  • 54
    • 0001728117 scopus 로고
    • On closed elements in closure algebras
    • McKinsey, J. C. C. and Tarski, A. (1946): On closed elements in closure algebras, Ann. of Math. 47, 122-162.
    • (1946) Ann. of Math. , vol.47 , pp. 122-162
    • McKinsey, J.C.C.1    Tarski, A.2
  • 55
    • 0002479447 scopus 로고
    • Some theorems about the sentential calculi of Lewis and Heyting
    • McKinsey, J. C. C. and Tarski, A. (1948): Some theorems about the sentential calculi of Lewis and Heyting, J. Symbolic Logic 13, 1-15.
    • (1948) J. Symbolic Logic , vol.13 , pp. 1-15
    • McKinsey, J.C.C.1    Tarski, A.2
  • 56
    • 33746751950 scopus 로고
    • On an extended system of the propositional calculus
    • Meredith, C. A. (1951): On an extended system of the propositional calculus, Proc. Royal Irish Academy Sect. A 54, 37-47.
    • (1951) Proc. Royal Irish Academy Sect. A , vol.54 , pp. 37-47
    • Meredith, C.A.1
  • 59
    • 33746667039 scopus 로고
    • Modal logic with functorial variables and a contingent constant
    • Meredith, C. A. and Prior, A. N. (1965): Modal logic with functorial variables and a contingent constant, Notre Dame J. Formal Logic 6, 99-109.
    • (1965) Notre Dame J. Formal Logic , vol.6 , pp. 99-109
    • Meredith, C.A.1    Prior, A.N.2
  • 60
    • 0004244642 scopus 로고
    • In memoriam: Carew Arthur Meredith (1904-1976)
    • Meredith, D. (1977): In memoriam: Carew Arthur Meredith (1904-1976), Notre Dame J. Formal Logic 18, 513-16.
    • (1977) Notre Dame J. Formal Logic , vol.18 , pp. 513-516
    • Meredith, D.1
  • 61
    • 0347857039 scopus 로고
    • Logical necessity, physical necessity, ethics, and quantifiers
    • Reprinted in Montague
    • Montague, R. (1960): Logical necessity, physical necessity, ethics, and quantifiers, Inquiry 3, 259-269. Reprinted in (Montague, 1974).
    • (1960) Inquiry , vol.3 , pp. 259-269
    • Montague, R.1
  • 63
    • 84963068683 scopus 로고
    • Three-valued logic and future contingents
    • Prior, A. N. (1953): Three-valued logic and future contingents, Philos. Quart. 3, 317-26.
    • (1953) Philos. Quart. , vol.3 , pp. 317-326
    • Prior, A.N.1
  • 64
    • 0003402891 scopus 로고
    • Clarendon Press, Oxford
    • Prior, A. N. (1955): Formal Logic, Clarendon Press, Oxford.
    • (1955) Formal Logic
    • Prior, A.N.1
  • 65
    • 0342501301 scopus 로고
    • Modality and quantification in S5
    • Prior, A. N. (1956): Modality and quantification in S5, J. Symbolic Logic 21, 60-62.
    • (1956) J. Symbolic Logic , vol.21 , pp. 60-62
    • Prior, A.N.1
  • 66
    • 0004254837 scopus 로고
    • Oxford University Press, Oxford
    • Prior, A. N. (1957): Time and Modality, Oxford University Press, Oxford.
    • (1957) Time and Modality
    • Prior, A.N.1
  • 67
    • 33645263446 scopus 로고
    • The syntax of time-distinctions
    • Prior, A. N. (1958): The syntax of time-distinctions, Franciscan Studies 18, 105-120.
    • (1958) Franciscan Studies , vol.18 , pp. 105-120
    • Prior, A.N.1
  • 68
    • 33645251678 scopus 로고
    • Possible worlds
    • Prior, A. N. (1962a): Possible worlds, Philos. Quart. 12, 36-43.
    • (1962) Philos. Quart. , vol.12 , pp. 36-43
    • Prior, A.N.1
  • 69
    • 33645260263 scopus 로고
    • Tense logic and the continuity of time
    • Prior, A. N. (1962b): Tense logic and the continuity of time, Studia Logica 13, 133-148.
    • (1962) Studia Logica , vol.13 , pp. 133-148
    • Prior, A.N.1
  • 71
    • 53349164084 scopus 로고
    • Logic, modal
    • P. Edwards (ed.), Macmillan, New York
    • Prior, A. N. (1967b): Logic, modal, in P. Edwards (ed.), The Encyclopedia of Philosophy, Macmillan, New York.
    • (1967) The Encyclopedia of Philosophy
    • Prior, A.N.1
  • 73
    • 0001075371 scopus 로고
    • Extensions of the Lewis system S5
    • Scroggs, S. J. (1951): Extensions of the Lewis system S5, J. Symbolic Logic 16, 112-120.
    • (1951) J. Symbolic Logic , vol.16 , pp. 112-120
    • Scroggs, S.J.1
  • 74
    • 0342385460 scopus 로고
    • An Introduction to Modal Logic: The 'Lemmon Notes'
    • Segerberg, K. (ed.) Monograph No. 11
    • Segerberg, K. (ed.) (1977): An Introduction to Modal Logic: The 'Lemmon Notes', Amer. Philos. Quart., Monograph No. 11.
    • (1977) Amer. Philos. Quart.
  • 75
    • 33746710830 scopus 로고
    • dissertation submitted towards the Degree of Doctor of Philosophy in the University of Cambridge
    • Smiley, T. J. (1955): Natural systems of logic, dissertation submitted towards the Degree of Doctor of Philosophy in the University of Cambridge.
    • (1955) Natural Systems of Logic
    • Smiley, T.J.1
  • 76
    • 52649119996 scopus 로고
    • Department of Philosophy, University of Cambridge
    • Smiley, T. J. (1957): Modal logic, Lecture Handout, Department of Philosophy, University of Cambridge.
    • (1957) Modal Logic, Lecture Handout
    • Smiley, T.J.1
  • 78
    • 0040273072 scopus 로고
    • Ein erweiterter Klassenkalkül
    • Wajsberg, M. (1933): Ein erweiterter Klassenkalkül [An extended calculus of classes], Monatsh. Math. Phys. 40, 113-126.
    • (1933) Monatsh. Math. Phys. , vol.40 , pp. 113-126
    • Wajsberg, M.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.