Cyclic proofs for the first-order µ-calculus - Afshari, Bahareh; Enqvist, Sebastian; Leigh, Graham E (Logic journal of the IGPL, 2024)
Keywords: sequent calculus; Cyclic proofs; completeness; modal µ-calculus; first-order µ-calculus