Sebastian Pfau. Boolean Basis and Succinctness of Modal Logic via Hella-Vilander Games. In Stefano Guerrini, Barbara König 0001, editors, 34th EACSL Annual Conference on Computer Science Logic, CSL 2026, Paris, France, February 23-28, 2026. Volume 363 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.