Alethic modal logics and semantics

A Companion to Philosophical Logic

Volumn , Issue , 2007, Pages 442-477

  Schurz, Gerhard ^a,b  

^a HEINRICH HEINE UNIVERSITY   (Germany)

^b UNIVERSITY OF SALZBURG   (Austria)

Author keywords

Alethic modal logics; Language; Modal propositional logics; Modalities; Semantics

Indexed keywords

EID: 84955392570     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1002/9780470996751.ch30     Document Type: Chapter

References (73)

1. Barcan (Marcus), R. (1946) A functional calculus of first order based on strict implication. Journal of Symbolic Logic, 11, 1-16.
2. Barcan-Marcus, R. (1960) Extensionality. Mind, 69, 55-62. Reprinted in Linsky (1971), pp. 44-51.
3. Barcan-Marcus, R. (1963) Modalities and intensional languages. In Boston Studies in the Philosophy of Science 1. Reprinted in Barcan-Marcus, R. (1993), Modalities (ch. 1). Oxford: Oxford University Press.
4. Bowen, K. (1979) Model Theory for Modal Logic. Kripke Models for Modal Predicate Calculi. Dordrecht: Reidel.
5. Bull, R. and Segerberg, K. (1984) Basic modal logic. In D. Gabbay and F. Guenthner (eds.) (1984), pp. 1-88.
6. Carnap, R. (1946) Modality and quantification. Journal of Symbolic Logic, 11, 33-64.
7. Carnap, R. (1947) Meaning and Necessity. Chicago: University of Chicago Press.
8. Chagrov, A. and Zakharyaschev, M. (1997) Modal Logic. Oxford: Oxford University Press.
9. Chellas, B. F. (1980) Modal Logic. Cambridge: Cambridge University Press.
10. Chellas, B. and Segerberg, K. (1996) Modal logics in the vicinity of S1. Notre Dame Journal of Formal Logic, 37/1, 1-34.
11. Dummett, M. and Lemmon, E. J. (1959) Modal logics between S4 and S5. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 3, 250-64.
12. Fine, K. (1975a) Some connections between elementary and modal logic. In S. Kanger (ed.), Proceedings of the Third Scandinavian Logic Symposium (pp. 15-19). Amsterdam: North Holland.
13. Fine, K. (1975b) Normal forms in modal logic. Notre Dame Journal of Formal Logic, 16, 229-34.
14. Fine, K. (1978) Model theory for modal logic. Part I + II. Journal of Philosophical Logic, 7, 125-56 (Part I: The de re/de dicto distinction), 277-306 (Part II: The elimination of de re modality).
15. Fine, K. (1985) Logics containing K4. Part II. Journal of Symbolic Logic, 50, 619-51.
16. Fine, K. and Schurz, G. (1996) Transfer theorems for multimodal logics. In J. Copeland (ed.), Logic and Reality: Essays in Pure and Applied Logic (pp. 169-213). Oxford: Oxford University Press.
17. Fitting, M. (1983) Proof Methods for Modal and Intuitionistic Logics. Dordrecht: Reidel.
18. Forbes, G. (1985) The Metaphysics of Modality. Oxford: Clarendon Press.
19. Gabbay, D. (1976) Investigations in Modal and Tense Logics. Dordrecht: Reidel.
20. Gabbay, D. and Guenthner, F. (eds.) (1984) Handbook of Philosophical Logic, vol. II: Extensions of Classical Logic. Dordrecht: Reidel.
21. Garson, J. W. (1984) Quantification in modal logic. In Gabbay and Guenthner (1984), pp. 249-308.
22. Ghilardi, S. (1991) Incompleteness results in Kripke semantics. Journal of Symbolic Logic, 56, 517-38.
23. Goldblatt, R. (1991) The McKinsey axiom is not canonical. Journal of Symbolic Logic, 56, 554-62.
24. Gottlob, G. (1999) Remarks on a Carnapian extension of S5. In J. Woleński and E. Köhler (eds), Alfred Tarski and the Vienna Circle (pp. 243-59). Dordrecht: Kluwer.
25. Hendry, H. E. and Pokriefka, M. L. (1985) Carnapian extensions of S5. Journal of Philosophical Logic, 14, 111-28.
26. Hintikka, J. (1961) Modality and quantification. Theoria 27. Reprinted in J. Hintikka. Models for Modalities (pp. 57-70). Dordrecht: Reidel.
27. Hintikka, J. (1970) Existential and uniqueness presuppositions. In K. Lambert (ed.), Philosophical Problems in Logic. Dordrecht: Reidel.
28. Hughes, G. E. and Cresswell, M. J. (1968) An Introduction to Modal Logic. London: Methuen.
29. Hughes, G. E. and Cresswell, M. J. (1984) A Companion to Modal Logic. London and New York: Methuen.
30. Hughes, G. E. and Cresswell, M. J. (1986) A companion to modal logic - some corrections. Logique et Analyse, 113, 41-51.
31. Hughes, G. E. and Cresswell M. J. (1996) A New Introduction to Modal Logic. London: Routledge.
32. Kanger, S. (1957a) Provability in Logic. Stockholm: Almqvist & Wiksell.
33. Kanger, S. (1957b) The morning star paradox. Theoria, 23, 1-11.
34. Kleene, S. C. (1971) Introduction to Metamathematics. Groningen: Wolters-Noordhoff.
35. Kracht, M. and Wolter, F. (1991) Properties of independently axiomatizable bimodal logics. Journal of Symbolic Logic, 56, 1469-85.
36. Kracht, M. and Wolter, F. (1997) Simulation and transfer results in modal logic - a survey. Studia Logica, 59/2, 149-77.
37. Kripke, S. (1959) A completeness theorem in modal logic. Journal of Symbolic Logic, 24/1, 1-14.
38. Kripke, S. A. (1963a) Semantical analysis of modal logic I: Normal modal propositional calculi. Zeitschrift für mathemathische Logik und Grundlagen der Mathematik, 9, 67-96.
39. Kripke, S. A. (1963b) Semantical considerations on modal logic. Acta Philosophica Fennica, 16, 83-94.
40. Kripke, S. A. (1972) Naming and Necessity. Oxford: Basil Blackwell.
41. Kutschera, F. (1993) Causation. Journal of Philosophical Logic, 22, 563-88.
42. Lemmon, E. J. and Scott, D. (1966) Intensional Logic. Preliminary Draft of Initial Chapters by E. J. Lemmon. In K. Segerberg (ed.), The "Lemmon Notes": An Introduction into Modal Logic. Oxford: Blackwell.
43. Lemmon E.J. Scott D., The "Lemmon Notes": An Introduction into Modal Logic, Intensional Logic. Preliminary Draft of Initial Chapters by E. J. Lemmon, 1966, K. Segerberg (ed.) Oxford: Blackwell.
44. Lewis, C. I. and Langford, C. H. (1932) Symbolic Logic. New York: Dover Publications.
45. Lewis, D. (1968) Counterpart theory and quantified modal logic. Journal of Philosophy, 65, 113-26.
46. Lewis, D. (1973) Counterfactuals. Cambridge, MA: Harvard University Press.
47. Linsky, L. (ed.) (1971) Reference and Modality. Oxford: Oxford University Press.
48. Machover, M. (1996) Set Theory, Logic, and their Limitations. Cambridge: Cambridge University Press.
49. Makinson, F. (1966) On some completeness theorems in modal logic. Zeitschrift für mathemathische Logik und Grundlagen der Mathematik, 14, 202-12.
50. Prendinger, H. and Schurz, G. (1996) Reasoning about action and change: a dynamic logic approach. Journal of Logic, Language and Information, 5, 209-45.
51. Prior, A. (1957) Time and Modality. Oxford: Oxford University Press.
52. Quine, W. V. O. (1943) Notes on existence and necessity. Journal of Philosophy, 40, 113-27.
53. Quine, W. V. O. (1953) Reference and modality. In W. V. O. Quine, From a Logical Point of View. Reprinted in Linsky (ed.) (1971), pp. 17-34.
54. Putnam, H. (1975) The meaning of "meaning." In K. Gunderson (ed.), Language, Mind and Knowledge. Minnesota: University of Minnesota Press.
55. Rautenberg, W. (1979) Klassische und Nichtklassische Aussagenlogik. Brauschweig: Friedrich Vieweg & Sohn.
56. Sahlqvist, H. (1975) Completeness and correspondence in the first and second order semantics for modal logic. In S. Kanger (ed.), Proceedings of the Third Scandinavian Logic Symposium, 110-43. Amsterdam: North-Holland.
57. Schurz, G. (1994) Admissible versus valid rules. A case study of the modal fallacy. The Monist, 77/3, 376-88.
58. Schurz, G. (1995) Most general first order theorems are not recursively enumerable. Theoretical Computer Science, 148, 149-63.
59. Schurz, G. (1997) The Is-Ought Problem. A Study in Philosophical Logic. (Trends in Logic, vol. 1 - Studia Logica Library.) Dordrecht: Kluwer.
60. Schurz, G. (1999) Tarski and Carnap on logical truth - or: what is genuine logic? In J. Wolenski and E. Köhler (eds.), Alfred Tarski and the Vienna Circle (pp. 77-94). Kluwer: Dordrecht.
61. Schurz, G. (2000) Carnap's modal logic. In W. Stelzner and M. Stöckler (eds.), Nichtklassische logische Ansätze im Übergang von traditioneller zu moderner Logik. Paderborn: Mentis Verlag.
62. Segerberg, K. (1971) An Essay in Classical Modal Logic. Uppsala: Filosofiska Studier.
63. Shimura, T. (1993) Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas. Studia Logica 52, 23-40.
64. Skvortsov, D. P. and Shehtman, V. B. (1993) Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. Annals of Pure and Applied Logic, 63, 69-101.
65. Smorynski, C. (1984) Modal logic and self-reference. In Gabbay and Guenthner (eds.) (1984), pp. 441-96.
66. Thomason, R. S. (1970) Some completeness results for modal predicate calculi. In K. Lambert (ed.) (1970) Philosophical Problems in Logic (pp. 56-76). Dordrecht: Reidel.
67. Thomason, S. K. (1972) Semantic analysis of tense logics. Journal of Symbolic Logic, 37, 150-8.
68. Van Benthem, J. F. (1983) Modal Logic and Classical Logic. Napoli: Bibliopolis.
69. Van Benthem, J. F. (1984) Correspondence theory. In Gabbay and Guenthner (1984), pp. 167-248.
70. Van Dalen, D., Doets, H. C. and De Swart, H. (1978) Sets: Naive, Axiomatic and Applied. Oxford: Pergamon Press.
71. Von Wright (1951) An Essay in Modal Logic. Amsterdam: North Holland.
72. Wansing, H. (ed.) (1996) Proof Theory of Modal Logic. Dordrecht: Kluwer.
73. Wollaston, L. (1994) Counterpart theory as a semantics for modal logic. Logique et Analyse, 147-8, 255-63.