Logics with Copy and Remove.

Carlos Areces, Hans van Ditmarsch, Raul Fervari, Franois Schwarzentruber

Browse the full WoLLIC paper archive.