A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures.

Maximilian Pflueger, Johannes Marti, Egor V. Kostylev

Browse the full LICS paper archive.