Logicality, Double-Line Rules, and Modalities

This paper deals with the question of the logicality of modal logics from a proof-theoretic perspective. It is argued that if Do˘sen’s analysis of logical constants as punctuation marks is embraced, it is possible to show that all the modalities in the cube of normal modal logics are indeed logical constants. It will be proved that the display calculus for each displayable modality admits a purely structural presentation based on double-line rules which, following Do˘sen’s analysis, allows us to claim that the corresponding modal operators are logical constants.