Theme logics