A Modal Distributive Law (abstract)

In our talk we consider the coalgebraic, or cover modality ∇ which, in modal logic, goes back to the work of Fine on normal forms.