This paper proposes to distinguish four forms of agentive permissions in multiagent settings. The main technical results are the complexity analysis of model checking, the semantic undefinability of modalities that capture these forms of permissions through each other, and a complete logical system capturing the interplay between these modalities.

翻译：本文旨在区分多智能体环境中四种形式的主体性许可。主要技术成果包括模型检测的复杂度分析、相互捕捉这些许可形式的模态间的语义不可定义性，以及刻画这些模态间相互作用的完备逻辑系统。