  An operation is called covert if it conceals the identity of the actor; it is
called clandestine if the very fact that the operation is conducted is
concealed. The paper proposes a formal semantics of clandestine operations and
introduces a sound and complete logical system that describes the interplay
between the distributed knowledge modality and a modality capturing coalition
power to conduct clandestine operations.
