Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs