Shhh! The Logic of Clandestine Operations
Logic in Computer Science
2023-05-15 v1 Artificial Intelligence
Abstract
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.
Keywords
Cite
@article{arxiv.2305.07035,
title = {Shhh! The Logic of Clandestine Operations},
author = {Pavel Naumov and Oliver Orejola},
journal= {arXiv preprint arXiv:2305.07035},
year = {2023}
}
Comments
32nd International Joint Conference on Artificial Intelligence (IJCAI-23)