-
3
-
-
85058742925
-
-
(Princeton, NJ: Princeton University Press)
-
Anderson, Alan Ross, Nuel D. Belnap, Jr., and Michael Dunn (1992) Entailment: The Logic of Relevance and Necessity, vol. 2 (Princeton, NJ: Princeton University Press).
-
(1992)
Entailment: The Logic of Relevance and Necessity
, vol.2
-
-
Anderson, A.R.1
Belnap Jr., N.D.2
Dunn, M.3
-
6
-
-
0004286236
-
-
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
-
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
-
-
(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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
23
-
-
85063703054
-
Quinus ab Omne Nævo Vindicatus
-
A. A. Kazmi, ed.
-
Burgess, John P.(1998) "Quinus ab Omne Nævo Vindicatus," in A. A. Kazmi, ed., Meaning and Reference, Canadian Journal of Philosophy Supplement 23: 25-65.
-
(1998)
Meaning and Reference, Canadian Journal of Philosophy Supplement
, vol.23
, pp. 25-65
-
-
Burgess, J.P.1
-
25
-
-
60949192702
-
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
-
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
-
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
-
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
-
-
(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
-
-
(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
-
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
-
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
-
-
(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
-
Conditionals
-
(Goble, 2001)
-
Edgington, Dorothy (2001) "Conditionals," in (Goble, 2001), 385-414.
-
(2001)
, pp. 385-414
-
-
Edgington, D.1
-
44
-
-
0002399785
-
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
-
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
-
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
-
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
-
49
-
-
0004040319
-
-
(Bethlehem, PA: Lehigh University Press)
-
Hailperin, Th eodore (1996) Sentential Probability Logic: Origins, Development, Current Status, and Technical Applications (Bethlehem, PA: Lehigh University Press).
-
(1996)
Sentential Probability Logic: Origins, Development, Current Status, and Technical Applications
-
-
Hailperin, T.1
-
50
-
-
0003879225
-
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
-
-
(Amsterdam: North Holland)
-
Heyting, Arend(1956) Intuitionism (Amsterdam: North Holland).
-
(1956)
Intuitionism
-
-
Heyting, A.1
-
52
-
-
0001972488
-
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
-
-
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
-
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
-
-
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
-
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
-
-
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
-
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
-
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
|