In this talk we investigate the compactness theorem (as a property) in non-classical logics. We focus on the following problems: (a) What kind of semantics make a logic having compactnesss theorem? (b) What is the relationship between the compactness theorem and the classical model existence theorem (CME)/model existence theorem?