mlsanityData to 14 Oct 2026

Shhh! The Logic of Clandestine Operations

arXiv 2305.07035 ↗First posted 10 May 2023cs.LO cs.AIcited by 1

Not on the map. Why?

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.

Key facts. Cited by 1 paper 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

5 of 33 references.

References · 5

  1. 2017Together We Know How to Achieve: An Epistemic Logic of Know-Howcited by 8
  2. 2017Strategically knowing howcited by 6
  3. 2017Strategic Coalitions with Perfect Recallcited by 5
  4. 2015A Logic of Knowing Howcited by 4
  5. 2016Achieving while maintaining: A logic of knowing how with intermediate constraintscited by 1

Built on by

Cited by year

Citing papers per year: 2025: 1.

1 paper.

  1. 2025Anonymous Public Announcementscited by 0