Article contents
The elimination of De Re modalities
Published online by Cambridge University Press: 12 March 2014
Extract
A formula α of modal LPC is a de re modality iff it contains a free individual variable within the scope of a modal operator; otherwise α is de dicto.1 We shall say that de re modalities are eliminable in a system S of modal LPC iff there is a transformation R on wffs of S such that R(α) is de dicto and ├sα ≡ R(α). We shall show that where S is LPC + S5 + Pr2 then de re modalities are not eliminable in S.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1969
References
- 2
- Cited by