Paper by M. Sc. Sebastian Pfau published at CSL 2026

Paper from Sebastian Pfau published at CSL 2026TU Ilmenau

The paper “Boolean Basis and Succinctness of Modal Logic via Hella-Vilander games" by M. Sc. Sebastian Pfau was published at CSL 2026
(CSL 2026 | 34th EACSL Annual Conference Computer Science Logic). The publication is available under the following Link.