BriefGPT.xyz
May, 2023
秘密行动的逻辑
Shhh! The Logic of Clandestine Operations
HTML
PDF
Pavel Naumov, Oliver Orejola
TL;DR
本文提出了隐秘行动（covert）和秘密行动（clandestine）的正式语义，引入了描述分布式知识模态和联盟力量进行秘密行动的合理和完整的逻辑系统。
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
→