The paper by Christoph Berkholz, Dietrich Kuske and Christian Schwarz was published in the journal Logical Methods in Computer Science.

TU Ilmenau

The paper "Boolean basis, formula size, and number of modal operators." by Christoph Berkholz, Dietrich Kuske and Christian Schwarz has been published in the journal Logical Methods in Computer Science, Volume 21 number 3:10 (2025, 29 pages).

The publication is available under the following link.