Traditional approaches to distributed problem solving have treated the problem as one of distributed search. In this paper, we propose an alternative, logic-based view of distributed problem solving, whereby agents cooperatively solve problems by exchanging information in order to derive the solution to a problem using logical deduction. In particular, we give a knowledge theoretic model of distributed problem solving, and show how various problem solving strategies can be represented within this scheme.