Boolean basis, formula size, and number of modal operators

Christoph Berkholz, Dietrich Kuske, Christian Schwarz

Is it possible to write significantly smaller formulae when using Boolean operators other than those of the De Morgan basis (and, or, not, and the constants)? For propositional log…