It is shown that a set of semi-recursive logics, including many fragments of **CL** (Classical Logic), can be embedded within **CL** in an interesting way. A logic belongs

to the set iff it has a certain type of semantics, called nice semantics. The set includes

many logics presented in the literature. The embedding reveals structural properties of the embedded logic. The embedding turns finite premise sets into finite premise sets. The partial decision methods for **CL** that are goal directed with respect to **CL** are turned into partial decision methods that are goal directed with respect to the embedded logics.