Verified Tableaux: from Modal Logics to Modal Fixpoint Logics. - Rajeev Goré; Anthony Peigné (J. Autom. Reason., 2026)