Agentive Permissions in Multiagent Systems

TL;DR

This paper introduces four types of agentive permissions in multiagent systems, analyzing their complexity, logical relationships, and providing a comprehensive logical framework for understanding these permissions.

Contribution

It presents a novel classification of agentive permissions, analyzes their complexity, and develops a complete logical system capturing their interactions.

Findings

Complexity analysis of model checking for permissions

Semantic undefinability of permission modalities

Complete logical system for permission modalities

Abstract

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.