Inclusion Logic and Fixed Point Logic.

Pietro Galliani, Lauri Hella

Browse the full CSL paper archive.