TY  - RPRT
TI  - Boolean basis, formula size, and number of modal operators
AU  - Christoph Berkholz
AU  - Dietrich Kuske
AU  - Christian Schwarz
PY  - 2025
DO  - 10.46298/lmcs-21(3:10)2025
UR  - https://arxiv.org/abs/2408.11651
ID  - 2408.11651
ER  -