Modal Inclusion Logic: Being Lax is Simpler than Being Strict.

Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer

Browse the full MFCS paper archive.