# Shhh! The Logic of Clandestine Operations

arXiv: https://arxiv.org/abs/2305.07035 · HTML: https://mlsanity.com/paper/2305.07035/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 5 of its 33 references that are in the map.
- First posted on arXiv 10 May 2023.

## Builds on (most cited first, 5 of 5)

- [Together We Know How to Achieve: An Epistemic Logic of Know-How](https://mlsanity.com/paper/1705.09349/) (2017)
- [Strategically knowing how](https://mlsanity.com/paper/1705.05254/) (2017)
- [Strategic Coalitions with Perfect Recall](https://mlsanity.com/paper/1707.04298/) (2017)
- [A Logic of Knowing How](https://mlsanity.com/paper/1505.06651/) (2015)
- [Achieving while maintaining: A logic of knowing how with intermediate constraints](https://mlsanity.com/paper/1610.05064/) (2016)

## Built on by (most cited first, 1 of 1)

- [Anonymous Public Announcements](https://mlsanity.com/paper/2504.12546/) (2025)

## Abstract (arXiv)

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.