  Logical investigations of the notion of secrecy are typically concentrated on
tools for deducing whether private information is well hidden from
unauthorized, direct, or indirect access attempts. This paper proposes a
multi-agent, normal multi-modal logic to capture salient features of secrecy.
We focus on the intentions, beliefs and knowledge of secret keepers and, more
generally, of all the actors involved in secret-keeping scenarios. In
particular, we investigate the notion of a true secret, namely a secret
concerning information known (and so true) by the secret keeper. The resulting
characterization of intending to keep a true secret provides useful insights
into conditions ensuring or undermining secrecy depending on agents' attitudes
and links between secrets and their surrounding context. We present soundness,
completeness, and decidability results of the proposed logical system.
Furthermore, we outline some theorems with applications in several contexts
from computer science and social sciences.
