Kleene under a modal demonic star (Inst. für Informatik, 2004)