Shhh! the Logic of Clandestine Operations
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.
Cite
Text
Naumov and Orejola. "Shhh! the Logic of Clandestine Operations." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/368Markdown
[Naumov and Orejola. "Shhh! the Logic of Clandestine Operations." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/naumov2023ijcai-shhh/) doi:10.24963/IJCAI.2023/368BibTeX
@inproceedings{naumov2023ijcai-shhh,
title = {{Shhh! the Logic of Clandestine Operations}},
author = {Naumov, Pavel and Orejola, Oliver},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2023},
pages = {3304-3311},
doi = {10.24963/IJCAI.2023/368},
url = {https://mlanthology.org/ijcai/2023/naumov2023ijcai-shhh/}
}