Kleene under a modal demonic star (2006)

by J Desharnais, B Möller, F Tchier
Venue:J. Logic Algebr. Programm