A note on de re modalities
type: Item
instance of: scholarly article
zbMATH Open document ID: 0979.03017
author: M. J. Cresswell
publication date: 2001-09-04T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 1641320
zbMATH Keywords: de re modality
zbMATH Keywords: de dicto modality
zbMATH Keywords: normal system
MaRDI profile type: Publication
title: A note on de re modalities
published in: Logique et Analyse. Nouvelle Série
review text: 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}\).
reviewed by: Giacomo Bonanno
description: scientific article; zbMATH DE number 1641320