The elimination of de re formulas

Journal of Philosophical Logic

Volumn 26, Issue 4, 1997, Pages 411-422

  Kaminski, Michael ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

De re and de dicta formulas; Kripke semantics; Modal logics

Indexed keywords

EID: 52549132946     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/a:1004228430102     Document Type: Article

References (15)

1. Bowen, K. A. (1975): Normal modal model theory, Journal of Philosophical Logic 4: 97-130.
2. Carnap, R. (1960): Meaning and Necessity, The University of Chicago Press, Chicago-
3. Cresswell, M. J. (1969): The elimination of de re modalities, Journal of Symbolic Logic 34: 329-330.
4. Fine, K. (1978): Model theory for modal logic - part I: the de re/de dicto distinction, Journal of Philosophical Logic 7: 125-156.
5. Fine, K. (1978): Model theory for modal logic - part II: the elimination of de re modality, Journal of Philosophical Logic 7: 277-306.
6. Fitting, M. C. (1993): Basic modal logic, in: Gabbay, D. M., Hogger, C. J., and Robinson, J. A. (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, volume I, Oxford University Press, Oxford, pp. 365-448.
7. Hughes, G. E. and Creesswell, M. J. (1972): An Introduction to Modal Logic, Methuen and Co., London.
8. Hughes, G. E. and Creesswell, M. J. (1984): A Companion to Modal Logic, Methuen and Co., London.
9. Marti, G. (1994): Do modal distinctions collapse in Carnap's system? Journal of Philosophical Logic 23: 575-593.
10. Mendelson, E. (1987): Introduction to Mathematical Logic, Wadsworth and Brooks, Monterey, CA.
11. Prior, A. N. (1956): Modality and quantification in S5, Journal of Symbolic Logic 21: 60-62.
12. Prior, A. N. (1962): Formal Logic, Oxford University Press, Oxford.
13. Quine, W. V. O. (1960): Word and Object, MIT Press, Cambridge, Massachusetts.
14. Tichy, P. (1973): On de dicto modalities in quantified S5, Journal of Philosophical Logic 2: 387-392.
15. von Wright, G. H. (1951): An Essay in Modal Logic, North-Holland, Amsterdam.