Paper by M. Sc. Sebastian Pfau accepted for publication at CSL 2026

TU Ilmenau

The paper “Boolean Basis and Succinctness of Modal Logic via Hella-Vilander games" by M. Sc. Sebastian Pfau was accepted for presentation at CSL 2026
(CSL 2026 | 34th EACSL Annual Conference Computer Science Logic).