Combining Logic I - Introduction