Logical Semantics of Modularisation