메뉴 건너뛰기




Volumn , Issue , 2009, Pages

Philosophical logic

Author keywords

[No Author keywords available]

Indexed keywords


EID: 80355122796     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Book
Times cited : (74)

References (65)
  • 6
    • 0004286236 scopus 로고
    • 2nd ed., Synthese Library, (Dordrecht: Kluwer)
    • Benthem, Johann van (1991) Logic and Time, 2nd ed., Synthese Library 156 (Dordrecht: Kluwer).
    • (1991) Logic and Time , vol.156
    • van Benthem, J.1
  • 8
    • 33747369666 scopus 로고
    • Partial Logic
    • (Gabbay & Guenthner, 1986)
    • Blamey, Stephen (1986) "Partial Logic," in (Gabbay & Guenthner, 1986), 1-70.
    • (1986) , pp. 1-70
    • Blamey, S.1
  • 9
    • 0003874773 scopus 로고
    • (Cambridge: Cambridge University Press)
    • Boolos, George (1993) Th e Logic of Provability (Cambridge: Cambridge University Press).
    • (1993) The Logic of Provability
    • Boolos, G.1
  • 11
    • 0002666456 scopus 로고
    • Basic Modal Logic
    • (Gabbay & Guenthner, 1984)
    • Bull, Robert A., and Krister Segerberg (1984) "Basic Modal Logic," in (Gabbay & Guenthner, 1984), 1-88.
    • (1984) , pp. 1-88
    • Bull, R.A.1    Segerberg, K.2
  • 12
    • 84979102594 scopus 로고
    • The Unreal Future
    • (Lund)
    • Burgess, John P. (1979) "Th e Unreal Future," Th eoria (Lund) 44: 157-79.
    • (1979) Theoria , vol.44 , pp. 157-179
    • Burgess, J.P.1
  • 13
    • 0005544192 scopus 로고
    • Decidability for Branching Time
    • Burgess, John P.(1980) "Decidability for Branching Time," Studia Logica 39: 203-18.
    • (1980) Studia Logica , vol.39 , pp. 203-218
    • Burgess, J.P.1
  • 14
    • 84972510819 scopus 로고
    • The Completeness of Intuitionistic Propositional Calculus for Its Intended Interpretation
    • Burgess, John P.(1981a) "Th e Completeness of Intuitionistic Propositional Calculus for Its Intended Interpretation," Notre Dame Journal of Formal Logic 22: 17-28.
    • (1981) Notre Dame Journal of Formal Logic , vol.22 , pp. 17-28
    • Burgess, J.P.1
  • 15
    • 84972538236 scopus 로고
    • Quick Completeness Proofs for Some Logics of Conditionals
    • Burgess, John P.(1981b) "Quick Completeness Proofs for Some Logics of Conditionals," Notre Dame Journal of Formal Logic 22: 76-84.
    • (1981) Notre Dame Journal of Formal Logic , vol.22 , pp. 76-84
    • Burgess, J.P.1
  • 17
    • 84972526396 scopus 로고
    • Axioms for Tense Logic, I. Since & Until
    • Burgess, John P.(1982a) "Axioms for Tense Logic, I. Since & Until," Notre Dame Journal of Formal Logic 23: 367-74.
    • (1982) Notre Dame Journal of Formal Logic , vol.23 , pp. 367-374
    • Burgess, J.P.1
  • 18
    • 84972526416 scopus 로고
    • Axioms for Tense Logic, II. Time Periods
    • Burgess, John P.(1982b) "Axioms for Tense Logic, II. Time Periods," Notre Dame Journal of Formal Logic 23: 375-83.
    • (1982) Notre Dame Journal of Formal Logic , vol.23 , pp. 375-383
    • Burgess, J.P.1
  • 20
    • 0002079973 scopus 로고
    • Basic Tense Logic
    • (Gabbay & Guenthner, 1984)
    • Burgess, John P.(1984a) "Basic Tense Logic," in (Gabbay & Guenthner, 1984), 98-134.
    • (1984) , pp. 98-134
    • Burgess, J.P.1
  • 22
    • 0040196905 scopus 로고
    • Proofs about Proofs: A Defense of Classical Logic
    • M. Detlefsen, ed., (London: Routledge)
    • Burgess, John P.(1992) "Proofs about Proofs: A Defense of Classical Logic," in M. Detlefsen, ed., Proof, Logic and Formalization (London: Routledge), 8-23.
    • (1992) Proof, Logic and Formalization , pp. 8-23
    • Burgess, J.P.1
  • 25
    • 60949192702 scopus 로고    scopus 로고
    • Which Modal Models Are the Right Ones (for Logical Necessity)?
    • (San Sebastian)
    • Burgess, John P.(2003) "Which Modal Models Are the Right Ones (for Logical Necessity)?," Theoria (San Sebastian) 18: 145-58.
    • (2003) Theoria , vol.18 , pp. 145-158
    • Burgess, J.P.1
  • 26
    • 84884088489 scopus 로고    scopus 로고
    • No Requirement of Relevance
    • (Shapiro, 2005)
    • Burgess, John P.(2005a) "No Requirement of Relevance," in (Shapiro, 2005), 727-50.
    • (2005) , pp. 727-750
    • Burgess, J.P.1
  • 27
    • 84884046878 scopus 로고    scopus 로고
    • On Anti-Anti-Realism
    • Burgess, John P.(2005b) "On Anti-Anti-Realism," Facta Philosophica 7: 121-44.
    • (2005) Facta Philosophica , vol.7 , pp. 121-144
    • Burgess, J.P.1
  • 29
    • 0041720442 scopus 로고
    • Modalities and Quantification
    • Carnap, Rudolf (1946) "Modalities and Quantifi cation," Journal of Symbolic Logic 11: 33-64.
    • (1946) Journal of Symbolic Logic , vol.11 , pp. 33-64
    • Carnap, R.1
  • 30
    • 0004197107 scopus 로고
    • (Cambridge: Cambridge Textbooks in Linguistics, Cambridge University Press)
    • Comrie, Bernard (1976) Aspect (Cambridge: Cambridge Textbooks in Linguistics, Cambridge University Press).
    • (1976) Aspect
    • Comrie, B.1
  • 31
    • 0004274938 scopus 로고
    • (Cambridge: Cambridge Textbooks in Linguistics, Cambridge University Press)
    • Comrie, Bernard(1985) Tense (Cambridge: Cambridge Textbooks in Linguistics, Cambridge University Press).
    • (1985) Tense
    • Comrie, B.1
  • 33
    • 0011490457 scopus 로고
    • The Philosophical Basis of Intuitionistic Logic
    • H. E. Rose and J. C. Sheperdson, eds., (Amsterdam: North Holland), reprinted in (Dummett, 1978) and (Benacerraf & Putnam, 1983)
    • Dummett, Michael (1973) "Th e Philosophical Basis of Intuitionistic Logic," in H. E. Rose and J. C. Sheperdson, eds., Logical Colloquium '73 (Amsterdam: North Holland), reprinted in (Dummett, 1978) and (Benacerraf & Putnam, 1983).
    • (1973) Logical Colloquium , vol.73
    • Dummett, M.1
  • 34
    • 34248949283 scopus 로고
    • The Justification of Deduction
    • reprinted in (Dummett, 1978)
    • Dummett, Michael(1976) "Th e Justifi cation of Deduction," Mind 85: 112-19, reprinted in (Dummett, 1978).
    • (1976) Mind , vol.85 , pp. 112-119
    • Dummett, M.1
  • 35
    • 0002221905 scopus 로고
    • (Cambridge, MA: Harvard University Press)
    • Dummett, Michael(1978) Truth and Other Enigmas (Cambridge, MA: Harvard University Press).
    • (1978) Truth and Other Enigmas
    • Dummett, M.1
  • 38
    • 84884089648 scopus 로고    scopus 로고
    • Conditionals
    • (Goble, 2001)
    • Edgington, Dorothy (2001) "Conditionals," in (Goble, 2001), 385-414.
    • (2001) , pp. 385-414
    • Edgington, D.1
  • 44
    • 0002399785 scopus 로고
    • Quantification in Modal Logic
    • (Gabbay & Guenthner, 1984)
    • Garson, James (1984) "Quantifi cation in Modal Logic," in (Gabbay & Guenthner, 1984), 249-308.
    • (1984) , pp. 249-308
    • Garson, J.1
  • 46
    • 0001794166 scopus 로고
    • Eine Interpretation des intuitionistischen Aussagenkalkuls
    • ["An Interpretation of Intuitionistic propositional Calculus"], reprinted with English trans. by J. Dawson in S. Feferman et al., eds., Collected Works of Kurt Gödel, vol. 1: Publications 1929-1936 (Oxford: Oxford University Press), 300-303
    • Gödel, Kurt (1933) "Eine Interpretation des intuitionistischen Aussagenkalkuls" ["An Interpretation of Intuitionistic propositional Calculus"], Ergebnisse eines mathematisches Kolloquiums 4: 39-40, reprinted with English trans. by J. Dawson in S. Feferman et al., eds., Collected Works of Kurt Gödel, vol. 1: Publications 1929-1936 (Oxford: Oxford University Press), 300-303.
    • (1933) Ergebnisse eines mathematisches Kolloquiums , vol.4 , pp. 39-40
    • Gödel, K.1
  • 47
    • 0346891421 scopus 로고
    • Diodorean Modality in Minkowski Spacetime
    • Goldblatt, Robert (1980) "Diodorean Modality in Minkowski Spacetime," Studia Logica 39: 219-36.
    • (1980) Studia Logica , vol.39 , pp. 219-236
    • Goldblatt, R.1
  • 48
    • 2942697713 scopus 로고    scopus 로고
    • Mathematical Modal Logic: A View of Its Evolution
    • Goldblatt, Robert(2006) "Mathematical Modal Logic: A View of Its Evolution," Journal of Applied Logic 1: 309-92.
    • (2006) Journal of Applied Logic , vol.1 , pp. 309-392
    • Goldblatt, R.1
  • 50
    • 0003879225 scopus 로고
    • Dynamic Logic
    • (Gabbay & Guenthner, 1984)
    • Harrel, David (1984) "Dynamic Logic," in (Gabbay & Guenthner, 1984), 497-604. Heyting, Arend
    • (1984) , pp. 497-604
    • Harrel, D.1
  • 51
    • 0007215874 scopus 로고
    • (Amsterdam: North Holland)
    • Heyting, Arend(1956) Intuitionism (Amsterdam: North Holland).
    • (1956) Intuitionism
    • Heyting, A.1
  • 52
    • 0001972488 scopus 로고
    • Semantical Considerations on Modal Logic
    • Kripke, Saul(1963) "Semantical Considerations on Modal Logic," Acta Philosophical Fennica 16: 83-94.
    • (1963) Acta Philosophical Fennica , vol.16 , pp. 83-94
    • Kripke, S.1
  • 54
    • 0004271399 scopus 로고
    • revised reprinting (Cambridge, MA: Harvard University Press)
    • Lewis, David (1986) Counterfactuals, revised reprinting (Cambridge, MA: Harvard University Press).
    • (1986) Counterfactuals
    • Lewis, D.1
  • 55
    • 33645431512 scopus 로고    scopus 로고
    • On a Milestone of Empiricism
    • P. Kotatko and A. Orenstein, eds., (Dordrecht: Kluwer)
    • Neale, Stephen (2000) "On a Milestone of Empiricism," in P. Kotatko and A. Orenstein, eds., Knowledge, Language and Logic: Questions for Quine (Dordrecht: Kluwer), 237-346.
    • (2000) Knowledge, Language and Logic: Questions for Quine , pp. 237-346
    • Neale, S.1
  • 56
    • 84936824223 scopus 로고
    • 2nd ed. (Cambridge: Cambridge Textbooks in Linguistics, Cambridge University Press)
    • Palmer, Frank R. (1986) Mood and Modality, 2nd ed. (Cambridge: Cambridge Textbooks in Linguistics, Cambridge University Press).
    • (1986) Mood and Modality
    • Palmer, F.R.1
  • 58
    • 84979113117 scopus 로고
    • Meaning and Proofs: The Confl ict between Classical and Intuitionistic Logic
    • (Lund)
    • Prawitz, Dag (1977) "Meaning and Proofs: Th e Confl ict between Classical and Intu- 146 itionistic Logic," Th eoria (Lund) 43: 2-43.
    • (1977) Theoria , vol.43 , pp. 2-43
    • Prawitz, D.1
  • 59
    • 84921952827 scopus 로고    scopus 로고
    • 2nd ed. (Oxford: Oxford University Press)
    • Priest, Graham (2006) In Contradiction, 2nd ed. (Oxford: Oxford University Press).
    • (2006) In Contradiction
    • Priest, G.1
  • 61
    • 0001986823 scopus 로고
    • Reference and Modality
    • 1st ed. (Cambridge, MA: Harvard University Press)
    • Quine, Willard van Orman (1953) "Reference and Modality," in From a Logical Point of View, 1st ed. (Cambridge, MA: Harvard University Press).
    • (1953) From a Logical Point of View
    • van Orman, W.Q.1
  • 65
    • 0000551963 scopus 로고
    • Combinations of Tense and Modality
    • (Gabbay & Guenthner, 1984)
    • Thomason, Richmond (1984) "Combinations of Tense and Modality," in (Gabbay & Guenthner, 1984), 135-65.
    • (1984) , pp. 135-165
    • Thomason, R.1


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