A note on de re modalities (Q2735834)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A note on de re modalities |
scientific article; zbMATH DE number 1641320
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on de re modalities |
scientific article; zbMATH DE number 1641320 |
Statements
4 September 2001
0 references
de re modality
0 references
de dicto modality
0 references
normal system
0 references
A note on de re modalities (English)
0 references
An extension of a result by \textit{G. E. Hughes} and \textit{M. J. Cresswell} [A new introduction to modal logic. Routledge, London (1996; Zbl 0855.03002)] is proved. Hughes and Cresswell showed that de re modalities are not eliminable in any system contained in S5. It is shown here that for every normal system S, except Triv, Ver and their intersection, de are modalities are not eliminable in \(\text{S}+ \text{BF}\).
0 references
