메뉴 건너뛰기




Volumn 18, Issue 47, 2003, Pages 145-158

Which modal models are the right ones (for logical necessity)?

Author keywords

Hintikka; Kripke; Logical necessity; Modal logic; Modality; Models

Indexed keywords


EID: 60949192702     PISSN: 04954548     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (9)

References (15)
  • 1
    • 0002666456 scopus 로고
    • Basic Modal Logic
    • D. Gabbay and F. Guenthner (eds.), Extensions of Classical Logic, Dordrecht: Reidel
    • Bull, R. A. and K. Segerberg (1984), "Basic Modal Logic," in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. 2: Extensions of Classical Logic, Dordrecht: Reidel, 1-88.
    • (1984) Handbook of Philosophical Logic , vol.2 , pp. 1-88
    • Bull, R.A.1    Segerberg, K.2
  • 4
    • 0012944008 scopus 로고
    • Philosophical Perspectives on Quantification in Tense and Modal Logic
    • D. Gabbay and F. Guenthner (eds.), Extensions of Classical Logic, Dordrecht: Reidel
    • Cocchiarella, N. (1984), "Philosophical Perspectives on Quantification in Tense and Modal Logic," in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. 2: Extensions of Classical Logic, Dordrecht: Reidel, 309-54.
    • (1984) Handbook of Philosophical Logic , vol.2 , pp. 309-354
    • Cocchiarella, N.1
  • 6
    • 60949253852 scopus 로고    scopus 로고
    • Logical Consequence and Logical Expressions
    • Gomez-Torrente, M. (2003), "Logical Consequence and Logical Expressions", Theoria,
    • (2003) Theoria
    • Gomez-Torrente, M.1
  • 7
    • 71049118173 scopus 로고
    • Standard vs. Nonstandard Logic: Higher-Order, Modal, and First-Order Logics
    • E. Agazzi (ed.), Dordrecht: Reidel
    • Hintikka, J. (1980), "Standard vs. Nonstandard Logic: Higher-Order, Modal, and First-Order Logics," in E. Agazzi (ed.), Modern Logic-A Survey, Dordrecht: Reidel, 183-96.
    • (1980) Modern Logic-A Survey , pp. 183-196
    • Hintikka, J.1
  • 8
    • 33748188403 scopus 로고
    • The Fallacies of the New Theory of Reference
    • Hintikka, J. and G. Sandu (1995), "The Fallacies of the New Theory of Reference," Synthese, vol. 104, 245-83.
    • (1995) Synthese , vol.104 , pp. 245-283
    • Hintikka, J.1    Sandu, G.2
  • 9
    • 79954229492 scopus 로고
    • Provability in Logic, Acta Universitatis Stockholmensis, Almqvist and Wiksell, Stockholm
    • Ghita Holmstróm-Hintikka, Sten Lindström, and Rysiek Sliwinski (eds.), Dordrecht: Kluwer
    • Kanger, S. (1957), Provability in Logic, Acta Universitatis Stockholmensis, Almqvist and Wiksell, Stockholm; also in Ghita Holmstróm-Hintikka, Sten Lindström, and Rysiek Sliwinski (eds.), Collected Papers of Stig Kanger with Essays on his Life and Work, volume 1, Synthese Library volume 303, Dordrecht: Kluwer, 2001.
    • (1957) Collected Papers of Stig Kanger with Essays on his Life and Work, volume 1, Synthese Library , vol.303
    • Kanger, S.1
  • 11
    • 0002977725 scopus 로고
    • A Completeness Theorem in Modal Logic
    • Kripke, S. (1959), "A Completeness Theorem in Modal Logic," The Journal of Symbolic Logic, vol. 24, 1-24.
    • (1959) The Journal of Symbolic Logic , vol.24 , pp. 1-24
    • Kripke, S.1
  • 13
    • 60949190760 scopus 로고    scopus 로고
    • Kanger's Early Semantics for Modal Logic
    • P. W. Humphreys and J. H. Fetzer (eds.), Dordrecht: Kluwer
    • Lindström, S. (1998), "Kanger's Early Semantics for Modal Logic," in P. W. Humphreys and J. H. Fetzer (eds.), The New Theory of Reference: Marcus, Kripke, and Its Origins, Dordrecht: Kluwer, 203-33.
    • (1998) The New Theory of Reference: Marcus, Kripke, and Its Origins , pp. 203-233
    • Lindström, S.1
  • 14
    • 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," The Journal of Symbolic Logic, vol. 10, 83-94.
    • (1945) The Journal of Symbolic Logic , vol.10 , pp. 83-94
    • McKinsey, J.C.C.1


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