New Proof Systems inNew Proof Systems inLogicproof methodologies.Innovative approaches enhance logicalLogic in Computer ScienceAdvancements in Proof Systems for Modal LogicExploring new proof systems using automata for modal mu-calculus.2025-10-20T08:30:18+00:00 ― 6 min read