The Modal µ-Calculus and the Logic of Common Knowledge

Luca Alberucci, St Stephan, G Jäger
unpublished
fatcat:4uz45v3jmrhutgqnjcjgxunxuu