 | Up a level |
Alberucci, Luca; Facchini, Alessandro (2009). On Modal mu-Calculus and Gödel-Löb Logic. Studia logica, 91(2), pp. 145-169. Dordrecht: Springer Netherlands 10.1007/s11225-009-9170-9
Alberucci, Luca; Facchini, Alessandro (2009). The modal mu-calculus hierarchy over restricted classes of transition systems. The journal of symbolic logic, 74(4), pp. 1367-1400. Champaign, Ill.: Cambridge University Press 10.2178/jsl/1254748696
