The elimination of De Re modalities
- 17 November 1969
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 34 (3) , 329-330
- https://doi.org/10.2307/2270899
Abstract
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.Keywords
This publication has 2 references indexed in Scilit:
- Formal LogicPublished by Oxford University Press (OUP) ,1963
- An essay in modal logic. By G.H. von Wright. Pp. vi, 90. Fl. 9. 1951. (North-Holland Publishing Co., Amsterdam)The Mathematical Gazette, 1953