A logical perspective on intending to keep a true secret
Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, and Mirko Tagliaferri

TL;DR
This paper develops a multi-agent modal logic framework to analyze the intentions behind keeping true secrets, offering insights into conditions that support or undermine secrecy based on agents' beliefs and attitudes.
Contribution
It introduces a novel logical system capturing intentions, beliefs, and knowledge related to true secrecy, with formal properties and potential interdisciplinary applications.
Findings
Logical system is sound and complete.
Provides conditions for maintaining or breaking secrecy.
Applicable to computer science and social sciences contexts.
Abstract
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's intentions. Specifically, 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 intentions underlying the keeping 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 valuable insights into conditions ensuring or undermining secrecy depending on agents' attitudes and links between secrets and their surrounding context. We present the proposed logical…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsIntelligence, Security, War Strategy
