On Modal μ-Calculus and Non-Well-Founded Set Theory

Luca Alberucci, Vincenzo Salipante. On Modal μ-Calculus and Non-Well-Founded Set Theory. J. Philosophical Logic, 33(4):343-360, 2004. [doi]

Abstract

Abstract is missing.