A General Framework for the Logical Representation of Combinatorial Exchange Protocols