The Logical Structure of Modular Semantic Theories of Software Systems