Modal Fixed Point Logics

Gerhard Jäger. Modal Fixed Point Logics. In Javier Esparza, Bernd Spanfelner, Orna Grumberg, editors, Logics and Languages for Reliability and Security. Volume 25 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 129-154, IOS Press, 2010. [doi]

Abstract

Abstract is missing.