Two-dimensional adventures

Philosophical Studies

Volumn 118, Issue 1-2, 2004, Pages 17-65

  Humberstone, Lloyd ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33748312808     PISSN: 00318116     EISSN: 15730883     Source Type: Journal    
DOI: 10.1023/b:phil.0000019542.43440.d1     Document Type: Article

References (72)

1. Belnap, N.D. (1982): 'Display Logic', Journal of Philosophical Logic 11, 375-417.
2. Bergmann, M. (1981): 'Presupposition and Two-Dimensional Logic', Journal of Philosophical Logic 10, 27-53.
3. Blok, W.J. and Pigozzi, D.L. (1991): 'Local Deduction Theorems in Algebraic Logic', in H. Andréka, J.D. Monk and I. Németi (eds.), Algebraic Logic (pp. 75-109), Amsterdam: North-Holland.
4. Bostock, D. (1988): 'Necessary Truth and A Priori Truth', Mind 97, 343-379.
5. Bricker, P. (1989): 'Quantified Modal Logic and the Plural De Re', in P.A. French et al. (eds.), Midwest Studies in Philosophy, Vol. XIV: Contemporary Perspectives in the Philosophy of Language II (pp. 372-394), Notre Dame, Indiana: University of Notre Dame Press.
6. Burgess, J.P. (1999): 'Which Modal Logic is the Right One?', Notre Dame Journal of Formal Logic 40, 81-93.
7. Castañeda, H-N. (1967/8): 'Actions, Imperatives, and Obligations', Proceedings of the Aristotelian Society 68, 25-48.
8. Castañeda, H-N. (1967): 'Acts, the Logic of Obligation, and Deontic Calculi', Philosophical Studies 19, 13-26.
9. Chalmers, D. (1999): 'The Tyranny of the Subjunctive', at http://consc.net/papers/ tyranny.html, originally part of the lecture series Mind and Modality, delivered by Chalmers at Princeton.
10. Charlwood, G.W. (1981): 'An Axiomatic Version of Positive Semilattice Relevance Logic', Journal of Symbolic Logic 46, 233-239.
11. Cresswell, M. (1990): Entities and Indices, Dordrecht: Kluwer.
12. Crossley, J.N. and Humberstone, L. (1977): 'The Logic of "Actually"', Reports on Mathematical Logic 8, 11-29.
13. Davies, M. (1981): Meaning, Quantification, Necessity: Themes in Philosophical Logic, London: Routledge and Kegan Paul.
14. Davies, M. and Humberstone, L. (1980): 'Two Notions of Necessity', Philosophical Studies 38, 1-30.
15. Donnellan, K. (1977): 'The Contingent A Priori and Rigid Designators', Midwest Studies in Philosophy 2, 12-27.
16. Dunn, J.M. (1986): 'Relevance Logic and Entailment', in D.M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic III: Alternatives to Classical Logic (pp. 117-224), Dordrecht: Reidel.
17. Evans, M.G.J. (1979): 'Reference and Contingency', The Monist 62, 161-189.
18. Forbes, G. (1989): Languages of Possibility, Oxford: Basil Blackwell.
19. Forbes, G. (1992): 'Melia on Modalism', Philosophical Studies 68, 57-63.
20. Fraassen, van B.C. (1977): 'The Only Necessity is Verbal Necessity', Journal of Philosophy 74, 71-85.
21. Gil, A.J. and Rebagliato, J. (2000): 'Protoalgebraic Gentzen Systems and the Cut Rule', Studia Logica 65, 53-89.
22. Gregory, D. (2001): 'Completeness and Decidability Results for Some Propositional Modal Logics Containing "Actually" Operators', Journal of Philosophical Logic 30, 57-78.
23. Hazen, A.P. (1976): 'Expressive Completeness in Modal Language', Journal of Philosophical Logic 5, 25-46.
24. Hazen, A.P. (1978): 'Eliminability of the Actuality Operator in Propositional Modal Logic', Notre Dame Journal of Formal Logic 19, 617-622.
25. Hazen, A.P. (1990): 'Actuality and Quantification', Notre Dame Journal of Formal Logic 31 498-508.
26. Hilpinen, R. (1981): 'Conditionals and Possible Worlds', in G. Fløistad (ed.), Contemporary Philosophy: A New Survey, Vol. 1 (pp. 299-335), The Hague: Martinus Nijhoff.
27. Hilpinen, R. (1982): 'Disjunctive Permissions and Conditionals with Disjunctive Antecedents', Acta Philosophica Fennica 35, 175-194.
28. Hodes, H. (1984a): 'Some Theorems on the Expressive Limitations of Modal Languages', Journal of Philosophical Logic 13, 13-26.
29. Hodes, H. (1984b): 'Axioms for Actuality', Journal of Philosophical Logic 13, 27-34.
30. Hodes, H. (1984c): 'On Modal Logics Which Enrich First-Order S5', Journal of Philosophical Logic 13, 423-454.
31. Humberstone, L. (1978): 'Two Merits of the Circumstantial Operator Language for Conditional Logics', Australasian Journal of Philosophy 56, 21-24.
32. Humberstone, L. (1981a): 'Relative Necessity Revisited', Reports on Mathematical Logic 13, 33-42.
33. Humberstone, L. (1981b): 'From Worlds to Possibilities', Journal of Philosophical Logic 10, 313-339.
34. Humberstone, L. (1982): 'Scope and Subjunctivity', Philosophia 12, 99-126.
35. Humberstone, L. (1988): 'Operational Semantics for Positive R', Notre Dame Journal of Formal Logic 29, 61-80.
36. Humberstone, L. (1992): 'Direction of Fit', Mind 101, 59-83.
37. Jackson, F. (1998): From Metaphysics to Ethics: A Defence of Conceptual Analysis, Oxford: Clarendon Press.
38. Kamp, J.A.W. (= Hans) (1971): 'Formal Properties of "Now"', Theoria 37, 227-273.
39. Kaplan, D. (1979): 'The Logic of Demonstratives', in P.A. French, T.E. Uehling and H.K. Wettstein (eds.), Contemporary Perspectives in the Philosophy of Language (pp. 401-412), Minneapolis: University of Minnesota Press
40. Kaplan, D. (1989): 'Demonstratives' and 'Afterthoughts', in J. Almog, J. Perry and H. Wettstein (eds.), Themes from Kaplan (pp. 481-563 and 565-614), New York: Oxford University Press.
41. Kuhn, S.T. (1989): 'The Domino Relation: Flattening a Two-Dimensional Logic', Journal of Philosophical Logic 18, 173-195.
42. Kuhn, S.T. (1995): 'Minimal Non-Contingency Logic', Notre Dame Journal of Formal Logic 36, 230-234.
43. Lemmon, E.J. (1959): 'Is There Only One Correct System of Modal Logic?', Aristotelian Soc. Supp. Volume 33, 23-40.
44. Lennart, Å. (1973): 'Modal Logic with Subjunctive Conditionals and Dispositional Predicates', Journal of Philosophical Logic 2, 1-76.
45. Lewis, D. (1973): Counterfactuals, Oxford: Basil Blackwell.
46. Lewis, D. (1983): 'Postscripts to "Anselm and Actuality"', in Philosophical Papers, Vol. 1 (pp. 21-25), New York: Oxford University Press.
47. Lewis, D. (2002): 'Tharp's Third Theorem', Analysis 62, 95-97.
48. Marx, M. and Venema, Y. (1997): Multi-Dimensional Modal Logic, Dordrecht: Kluwer.
49. Max, I. (1998): 'Handling Inconsistencies in Multi-Dimensional Logics', Logique et Analyse 41, 67-93.
50. Melia, J. (1992): 'Against Modalism', Philosophical Studies 68, 35-56.
51. Meredith, C.A. and Prior, A.N. (1965): 'Modal Logic with Functorial Variables and a Contingent Constant', Notre Dame Journal of Formal Logic 6, 99-109.
52. Meyer, R.K. (1974): 'Entailment is Not Strict Implication', Australasian Journal of Philosophy 52, 212-231.
53. Montague, R. (1974): Formal Philosophy, R.H. Thomason (ed.), London: Yale University Press.
54. Partee, B.H. (1973): 'Some Structural Analogies between Tenses and Pronouns in English' Journal of Philosophy 70, 601-609.
55. Peacocke, C.A.B. (1976): 'What is a Logical Constant?', Journal of Philosophy 73, 221-240.
56. Pratt, V. (1994): 'A Roadmap of Some Two-Dimensional Logics', in J. van Eijck and A. Visser (eds.), Logic and Information Flow (pp. 149-162), Cambridge, MA: MIT Press.
57. Pynko, A.P. (1999): 'Implication Systems for Many-Dimensional Logics', Reports on Mathematical Logic 33, 11-27.
58. Rabinowicz, W. and Segerberg, K. (1994): 'Actual Truth, Possible Knowledge', Topoi 13, 101-115.
59. Segerberg, K. (1973) : 'Two-Dimensional Modal Logic', Journal of Philosophical Logic 2, 77-96.
60. Smiley, T.J. (1963): 'Relative Necessity', Journal of Symbolic Logic 28, 113-134.
61. Smiley, T.J. (1996): 'Rejection', Analysis 56, 1-9.
62. Stalnaker, R.C. (1978): 'Assertion', in P. Cole (ed.), Syntax and Semantics, Vol. 9: Pragmatics, New York: Academic Press.
63. Surma, S.J. (ed.) (1977) Mordchaj Wajsberg: Logical Works, Ossolineum: Polish Academy of Sciences, Institute of Philosophy and Sociology.
64. Teichmann, R. (1990): 'Actually', Analysis 50, 16-19.
65. Tharp, L. (1974): 'Necessity, A Priority and Provability', Notices of the American Math. Soc. 21, *74T-E23, A-320.
66. Tharp, L. (1989): 'Three Theorems of Metaphysics', Synthese 81, 207-214.
67. Thomas, I. (1976): 'One dimension in PS and PSI', Notre Dame Journal of Formal Logic 17, 421-423.
68. Urquhart, A. (1972): 'Semantics for Relevant Logics', Journal of Symbolic Logic 37, 159-169.
69. Venema, Y. (1992): 'A Note on the Tense Logic of Dominoes', Journal of Philosophical Logic 21, 172-182.
70. Wehmeier, K. (forthcoming): 'Modality, Mood, and Descriptions', to appear in Reinhard Kahle (ed.), Intensionality - An Interdisciplinary Discussion, A.K. Peters.
71. Williamson, T. (1998): 'Iterated Attitudes', Procs. British Academy 93 (1998), 85-133.
72. Zalta, E.N. (1988): 'Logical and Analytic Truths that are Not Necessary', Journal of Philosophy 85, 57-74.